1753 search results - page 327 / 351 » State Machines |
NSDI
2008
15 years 7 days ago
2008
Much recent work on Byzantine state machine replication focuses on protocols with improved performance under benign conditions (LANs, homogeneous replicas, limited crash faults), ...
BPM
2008
Springer
14 years 12 months ago
2008
Springer
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...
ATVA
2006
Springer
14 years 12 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...
100
click to vote
ECLIPSE
2005
ACM
14 years 12 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
ACSW
2006
14 years 11 months ago
2006
Current IEEE 802.11 wireless networks are vulnerable to session hijacking attacks as the existing standards fail to address the lack of authentication of management frames and net...