893 search results - page 103 / 179 » Environment Assumptions for Synthesis |
ISW
2004
Springer
14 years 1 months ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
IEEE 802.11b compliant WLAN technology is increasingly used for cordless telephone services. Often, a WLAN phone is moved during a call. In the present paper we explore to what ex...
SACMAT
2003
ACM
14 years 1 months ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
DASFAA
2010
IEEE
14 years 28 days ago
2010
IEEE
Similarity search in metric spaces has several important applications both in centralized and distributed environments. In centralized applications, such as similarity-based image ...
DATE
2002
IEEE
14 years 23 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...