3387 search results - page 247 / 678 » Model-Checking for Real-Time Systems |
243
Voted
EDCC
1999
Springer
15 years 11 months ago
1999
Springer
We consider teams of mobile autonomous robot systems that coordinate their work via communication over a wireless local area network. In such a scenario, timely delivery and group...
207
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
166
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
220
Voted
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
: A middleware architecture named ROAFTS (Real-time Object-oriented Adaptive Fault Tolerance Support) is presented. ROAFTS is designed to support adaptive fault-tolerant execution ...
234
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...