7557 search results - page 587 / 1512 » Modeling Timed Concurrent Systems |
241
click to vote
ENTCS
2006
15 years 7 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
217
click to vote
BIRTHDAY
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
220
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
172
click to vote
CSSC
2008
15 years 7 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
182
click to vote
CN
2004
15 years 7 months ago
2004
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...