Sciweavers

382 search results - page 26 / 77
» Simulating a Finite State Mobile Agent System
Sort
View
FORMATS
2008
Springer
15 years 1 months ago
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
CSREAPSC
2006
15 years 1 months ago
A Policy-Based Location Identification Architecture for Pervasive Systems
In this paper, we present a policy-based architecture to be used in identifying the location of users within a pervasive system environment. Mobile users can define their own poli...
Sherif G. Aly
CEEMAS
2005
Springer
15 years 5 months ago
Intelligent Virtual Environments for Training: An Agent-Based Approach
In this paper we propose an architecture for the development of Intelligent Virtual Environments for Training, which is based on a collection of cooperative software agents. The ï¬...
Angélica de Antonio, Jaime Ramírez, ...
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
14 years 12 months ago
Computations of probabilistic output admissible set for uncertain constrained systems
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
Takeshi Hatanaka, Kiyotsugu Takaba
ROBOCUP
1998
Springer
98views Robotics» more  ROBOCUP 1998»
15 years 4 months ago
A User Oriented System for Developing Behavior Based Agents
Developing agents for simulation environments is usually the responsibility of computer experts. However, as domain experts have superior knowledge of the intended agent behavior, ...
Paul Scerri, Silvia Coradeschi, Anders Törne