2465 search results - page 387 / 493 » An Adaptive Distributed System Based on Conditional Dependen... |
213
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
169
click to vote
CW
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
155
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
138
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
126
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Utility computing is becoming a popular way of exploiting the potential of computational grids. In utility computing, users are provided with computational power in a transparent ...