2661 search results - page 241 / 533 » Model Checking Performability Properties |
121
Voted
ICWS
2009
IEEE
16 years 2 days ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
98
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
114
click to vote
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
146
click to vote
IJNSEC
2008
15 years 2 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
119
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....