388 search results - page 76 / 78 » Promoting the development of secure mobile agent application... |
SAINT
2007
IEEE
14 years 1 months ago
2007
IEEE
A component framework for defining content-based network processing is presented. It is unique among other existing approaches because it enables contents to naturally define th...
ACIIDS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Wireless sensor networks(WSNs) have been regarded as an incarnation of Ad Hoc Networks for a specific application. Since a WSN consists of potentially hundreds of low c...
TACAS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
AGENTS
1998
Springer
13 years 11 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
PADL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...