4971 search results - page 372 / 995 » Observation systems |
204
Voted
AI
2010
Springer
15 years 11 months ago
2010
Springer
Area coverage is one of the emerging problems in multi-robot coordination. In this task a team of robots is cooperatively trying to observe or sweep an entire area, possibly conta...
176
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider a class of restless multi-armed bandit problems that arises in multi-channel opportunistic communications, where channels are modeled as independent and stochastically...
196
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
162
Voted
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
158
click to vote
ICDCS
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...