317 search results - page 41 / 64 » Snap-Stabilization in Message-Passing Systems |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
SIGOPSE
2004
ACM
14 years 3 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
ACSD
2008
IEEE
13 years 12 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents an efficient parallel information retrieval (IR) system which provides fast information service for the Internet users on lowcost high-performance PC-NOW enviro...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...