282 search results - page 17 / 57 » Verifying Commit-Atomicity Using Model-Checking |
105
click to vote
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
127
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
116
click to vote
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
112
Voted
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
119
click to vote
SOSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...