Sciweavers

2203 search results - page 127 / 441
» Temporal Abstract Interpretation
Sort
View
DBPL
2001
Springer
167views Database» more  DBPL 2001»
15 years 8 months ago
A Temporal Query Language for OLAP: Implementation and a Case Study
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
Alejandro A. Vaisman, Alberto O. Mendelzon
153
Voted
OHS
2001
Springer
15 years 8 months ago
FOHM+RTSP: Applying Open Hypermedia and Temporal Linking to Audio Streams
Abstract. The World Wide Web (WWW) was originally designed to handle relatively simple files, containing just text and graphics. With the development of more advanced Web browsers...
Neil Ridgway, David De Roure
148
Voted
ACRI
2010
Springer
15 years 5 months ago
Network Decontamination with Temporal Immunity by Cellular Automata
Abstract. Network decontamination (or disinfection) is a widely studied problem in distributed computing. Network sites are assumed to be contaminated (e.g., by a virus) and a team...
Yassine Daadaa, Paola Flocchini, Nejib Zaguia
127
Voted
FMOODS
2003
15 years 5 months ago
Inheritance of Temporal Logic Properties
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
Heike Wehrheim
142
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 3 months ago
Modeling Spatial and Temporal Dependencies of User Mobility in Wireless Mobile Networks
Abstract--Realistic mobility models are fundamental to evaluate the performance of protocols in mobile ad hoc networks. Unfortunately, there are no mobility models that capture the...
Wei-jen Hsu, Thrasyvoulos Spyropoulos, Konstantino...