1268 search results - page 35 / 254 » Verifying distributed systems: the operational approach |
SIAMCOMP
2002
13 years 9 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
HPDC
1999
IEEE
14 years 2 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
ICPADS
2006
IEEE
14 years 3 months ago
2006
IEEE
In battery powered systems such as wireless sensor networks, energy efficiency is one of the most important system design goals. In this paper, energy efficiency is examined fro...
GI
2004
Springer
14 years 3 months ago
2004
Springer
: With the growing complexity of parallel architectures, the probability of system failures grows, too. One approach to cope with this problem is the self-healing, one of the organ...
PERCOM
2005
ACM
14 years 9 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...