An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
John P. Granieri, Welton Becket, Barry D. Reich, J...
This paper explores the issues related to developing a transparent Quality of Service (QoS) evaluation for wireless services and distributed applications. The objective of the pap...