38 search results - page 8 / 8 » Verifying Protocol Conformance for Logic-Based Communicating... |
P2P
2003
IEEE
13 years 10 months ago
2003
IEEE
— Corporate IT as well as individuals show increasing interest in reliable outsourcing of storage infrastructure. Decentralized solutions with their resilience against partial ou...
APNOMS
2006
Springer
13 years 9 months ago
2006
Springer
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...