652 search results - page 86 / 131 » A simulation framework for service-oriented computing system... |
104
click to vote
ECIR
2009
Springer
15 years 11 months ago
2009
Springer
Synchronous Collaborative Information Retrieval refers to systems that support multiple users searching together at the same time in order to satisfy a shared information need. To ...
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
A model for virtual memory in a distributed memory parallel computer is proposed. It uses a novel parallel computing operating system framework and leads to the definition of two ...
SAFECOMP
2001
Springer
15 years 6 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
104
click to vote
ATAL
2009
Springer
15 years 8 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...
143
click to vote
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...