1980 search results - page 150 / 396 » Compositional Model Checking of Real Time Systems |
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
124
Voted
ISORC
2002
IEEE
15 years 6 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...
116
click to vote
CONTEXT
2001
Springer
15 years 6 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...
151
click to vote
DATE
2004
IEEE
15 years 5 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...
123
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
With the advent of miniaturized sensing technology, it has become possible to envision smart structures containing millions of sensors embedded in concrete for autonomously detect...