Sciweavers

388 search results - page 22 / 78
» Promoting the development of secure mobile agent application...
Sort
View
PAAMS
2010
Springer
13 years 11 months ago
Mobile Agents in Vehicular Networks: Taking a First Ride
A vehicular ad hoc network (VANET) is a type of mobile network whose nodes are traveling cars which communicate with one another using short-range wireless communications. These ca...
Oscar Urra, Sergio Ilarri, Thierry Delot, Eduardo ...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 1 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
AISS
2010
97views more  AISS 2010»
13 years 5 months ago
The Naming Service of Multi-Agent for the Sensor Network Applications
The node selection for the migration of a mobile agent depends on the content of the referenced metadata in the naming space. The reliability of the migrated information is determ...
Yonsik Lee, Minseok Jang
IATA
1998
Springer
13 years 11 months ago
Development of a Multi-Agent System for Cooperative Work with Network Negotiation Capabilities
This paper describes the architecture and operation of a Multi Agent system for providing end users with an intelligent interface for video conference and cooperative work services...
Francisco J. Garijo, Juan Tous, José M. Mat...
CSFW
2000
IEEE
13 years 12 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi