[图书][B] Mobile agents: Basic concepts, mobility models, and the tracy toolkit

P Braun, W Rossak - 2005 - books.google.com
" I think this book will be the first standard introductory book on mobile agents."-José M.
Vidal, University of South Carolina Mobile agents are software nomads that act as your …

The klaim project: Theory and practice

L Bettini, V Bono, R De Nicola, G Ferrari… - … , Security, and Analysis …, 2003 - Springer
LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …

Modelling mobility and mobile agents using nets within nets

M Köhler, D Moldt, H Rölke - Applications and Theory of Petri Nets 2003 …, 2003 - Springer
Mobility creates a new challenge for dynamic systems in all phases of the life cycle, like
modelling, execution, and verification. In this work we apply the paradigm of “nets within …

Klava: a Java package for distributed and mobile applications

L Bettini, R De Nicola, R Pugliese - Software: Practice and …, 2002 - Wiley Online Library
Highly distributed networks have now become a common infrastructure for wide‐area
distributed applications whose key design principle is network awareness, namely the ability …

Klaim in the making

L Bettini, GL Ferrari, M Loreti, R Pugliese… - … Applications of Formal …, 2024 - Springer
Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …

Concurrent architecture for a multi-agent platform

M Duvigneau, D Moldt, H Rölke - … , AOSE 2002 Bologna, Italy, July 15 …, 2003 - Springer
A multi-agent system has a high degree of concurrency. Petri nets are a well-established
means for the description of concurrent systems. Reference nets are higher level, object …

Lightweight application-level task migration for mobile cloud computing

RKK Ma, CL Wang - 2012 IEEE 26th international conference …, 2012 - ieeexplore.ieee.org
Mobile cloud computing allows mobile applications to use the enormous resources in the
clouds. In order to seamlessly utilize the resources, it is common to migrate computation …

SPRINGS: A scalable platform for highly mobile agents in distributed computing environments

S Ilarri, R Trillo, E Mena - … Symposium on a World of Wireless …, 2006 - ieeexplore.ieee.org
In the last decade, mobile agents have arisen as a promising paradigm to build distributed
and mobile computing applications. However, mobile agents have not been massively …

An overview of mobile Object-Z

K Taguchi, JS Dong - International Conference on Formal Engineering …, 2002 - Springer
Abstract Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and
communication primitives required for mobile agent applications. In this paper, we will give …

Using event-driven lightweight DSC-based agents for MAS modelling

G Fortino, A Garro, S Mascillaro… - International Journal of …, 2010 - inderscienceonline.com
To date several agent models and related programming frameworks have been introduced
for developing distributed applications in terms of multi-agent systems in open and dynamic …