5599 search results - page 96 / 1120 » Abstract State Services |
116
click to vote
SERVICES
2010
15 years 3 months ago
2010
Research Session 2 - Modeling and Abstraction of Services Session Chair: An Approach to Dynamic Provisioning of Social and Computational Services (SERVICES2010-4004) Luiz Olavo Bon...
107
Voted
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
133
click to vote
NOMS
2010
IEEE
15 years 4 days ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
105
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
103
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...