196 search results - page 6 / 40 » Battery-powered distributed systems (extended abstract) |
WDAG
1993
Springer
13 years 11 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- It is desirable to limit the amount of communication and computation generated by each agent in a large multi-agent system. Event- and self-triggered control strategies ...
ICMCS
1994
IEEE
13 years 11 months ago
1994
IEEE
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...