272 search results - page 26 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
114
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
130
Voted
IPPS
2010
IEEE
15 years 20 days ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
159
Voted
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
122
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
146
Voted
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...