713 search results - page 81 / 143 » Fault Analysis of a Distributed Flight Control System |
131
click to vote
FAC
2010
15 years 1 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
125
click to vote
NOSSDAV
2005
Springer
15 years 8 months ago
2005
Springer
We are concerned with the fundamental problem of event ordering in multiplayer peer-to-peer games. Event ordering, even without faults, requires all-to-all message passing with at...
154
click to vote
SOUPS
2006
ACM
15 years 9 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
115
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, we investigate a second order consensus problem in a directed graph with non-uniform time delay. This problem arises naturally in real multi-agent systems such as...
112
click to vote
COLCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...