33 search results - page 7 / 7 » Recovery Protocols in Multi-Agent Probabilistic Reasoning Sy... |
WSC
2007
13 years 7 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
TON
2010
12 years 11 months ago
2010
Network diagnosis, an essential research topic for traditional networking systems, has not received much attention for wireless sensor networks. Existing sensor debugging tools li...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...