2400 search results - page 321 / 480 » Systems Failures |
131
click to vote
ICDCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A secure reliable multicast protocol enables a process to send a message to a group of recipients such that all correct destinations receive the same message, despite the maliciou...
135
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
119
click to vote
INFOCOM
1992
IEEE
15 years 6 months ago
1992
IEEE
Local area networks have long been established as the basis for distributed systems. Continuity of service and bounded and known message delivery latency are requirements of a num...
114
click to vote
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
124
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We provide evidence of the feasibility and effectiveness of a middleware architecture for mobile devices which employs dense distributions of small computerized entities ...