3967 search results - page 72 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
122
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
127
Voted
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
107
click to vote
SP
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
139
Voted
NSDI
2008
15 years 4 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
143
Voted
IFM
2007
Springer
15 years 8 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...