184 search results - page 32 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
124
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
153
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
104
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
139
click to vote
SERP
2003
15 years 5 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
153
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...