6456 search results - page 903 / 1292 » Constraint Solving on Terms |
199
click to vote
SASN
2003
ACM
16 years 1 days ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
177
click to vote
SIGUCCS
2003
ACM
16 years 1 days ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
211
click to vote
AGENTCL
2003
Springer
16 years 1 days ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
200
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
223
click to vote
CCS
2003
ACM
16 years 1 days ago
2003
ACM
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. Ho...