1105 search results - page 90 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
132
click to vote
CONTEXT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...
165
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
136
click to vote
ISORC
2002
IEEE
15 years 8 months ago
2002
IEEE
Preemption threshold scheduling (PTS) provides prominent benefits for fixed priority scheduling such as increased schedulability, reduced context switches, and decreased memory re...
144
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
119
Voted
RTDB
1996
15 years 4 months ago
1996
We are developing an object-oriented real-time database system that includes a relationally complete query language. Unlike conventional query optimizers, our optimizer estimates ...