1098 search results - page 107 / 220 » System safety as an emergent property in composite systems |
126
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
121
click to vote
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
111
click to vote
WOWMOM
2005
ACM
15 years 7 months ago
2005
ACM
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
128
click to vote
DIAGRAMS
2006
Springer
15 years 5 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
PODC
1995
ACM
15 years 5 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...