10038 search results - page 1489 / 2008 » Model Checking for Managers |
192
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
159
click to vote
NDSS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper analyzes the IEEE 802.11i wireless networking standard with respect to data confidentiality, integrity, mutual authentication, and availability. Under our threat model,...
165
click to vote
SKG
2005
IEEE
16 years 13 days ago
2005
IEEE
—We discuss a general architectural approach to knowledge and information management and delivery in distributed systems. Our approach is based on the recognition that time-stamp...
176
click to vote
STORAGESS
2005
ACM
16 years 13 days ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...
235
click to vote
IPSN
2005
Springer
16 years 11 days ago
2005
Springer
— Environmental energy is an attractive power source for low power wireless sensor networks. We present Prometheus, a system that intelligently manages energy transfer for perpet...