819 search results - page 60 / 164 » Using Assumptions to Distribute CTL Model Checking |
119
click to vote
PDCAT
2009
Springer
15 years 7 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We consider the optimal amount of training for single-antenna Rayleigh flat fading channels with peak-powerlimited input. The receiver uses known training symbols to perform m...
102
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
100
click to vote
ICPP
1993
IEEE
15 years 4 months ago
1993
IEEE
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
131
click to vote
FORTE
2003
15 years 2 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...