269 search results - page 26 / 54 » Efficient Decentralized Monitoring of Safety in Distributed ... |
217
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a data management solution which allows fast Virtual Machine (VM) instantiation and efficient run-time execution to support VMs as execution environments in Gri...
180
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
136
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a distributed, surveillance system that works in large and complex indoor environments. To track and recognize behaviors of people, we propose the use of the Hidden Mar...
132
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Search is until now a difficult problem in peer-to-peer (P2P) filesharing systems. In this paper, we propose to use adaptive metadata spreading to make search in P2P netw...
146
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...