199 search results - page 20 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
134
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Increasing numbers of mobile computing devices, user-portable, or embedded in vehicles, cargo containers, or the physical space, need to be aware of their location in order to prov...
110
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
107
Voted
TC
2002
15 years 1 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
147
Voted
EC
2006
15 years 1 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
139
click to vote
JSS
2002
15 years 1 months ago
2002
This paper details an essential component of a multi-agent distributed knowledge network system for intrusion detection. We describe a distributed intrusion detection architecture...