Sciweavers

3218 search results - page 115 / 644
» Timed Extensions for SDL
Sort
View
RTAS
2002
IEEE
15 years 9 months ago
Performance Evaluation on a Real-Time Database
We have implemented an object-oriented real-time database system called BeeHive. Using BeeHive, the performance of two data-deadline cognizant scheduling policies, called EDDF and...
Suhee Kim, Sang Hyuk Son, John A. Stankovic
ECAI
2000
Springer
15 years 8 months ago
Continual Planning with Time-Oriented, Skeletal Plans
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
Silvia Miksch, Andreas Seyfang
CONCUR
1999
Springer
15 years 8 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
ISORC
1999
IEEE
15 years 8 months ago
Implementing the Real-Time Publisher/Subscriber Model on the Controller Area Network (CAN)
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
Jörg Kaiser, Michael Mock
BTW
2007
Springer
153views Database» more  BTW 2007»
15 years 8 months ago
Efficient Time-Travel on Versioned Text Collections
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
Klaus Berberich, Srikanta J. Bedathur, Gerhard Wei...