819 search results - page 62 / 164 » Using Assumptions to Distribute CTL Model Checking |
119
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—Rate allocation is a fundamental problem in the operation of a wireless network because of the necessity to schedule the operation of mutually interfering links between the node...
91
Voted
ACSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
67
Voted
EOR
2008
15 years 20 days ago
2008
This paper examines contract practices between suppliers and retailers in the agricultural seed industry. We construct and analyze single-retailer models of various contract types...
111
Voted
DSRT
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...