819 search results - page 136 / 164 » Using Assumptions to Distribute CTL Model Checking |
99
Voted
SPDP
1993
IEEE
15 years 2 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
95
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
70
Voted
ACISP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
77
Voted
CONEXT
2009
ACM
14 years 11 months ago
2009
ACM
802.11 wireless mesh networks are ubiquitous, but suffer from severe performance degradations due to poor synergy between the 802.11 CSMA MAC protocol and higher layers. Several s...
TNN
1998
14 years 10 months ago
1998
Abstract—It is well known that for finite-sized networks, onestep retrieval in the autoassociative Willshaw net is a suboptimal way to extract the information stored in the syna...