Sciweavers

1128 search results - page 119 / 226
» Dynamic Communication Models in Embedded System Co-Simulatio...
Sort
View
RTCSA
1999
IEEE
15 years 7 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
113
Voted
FUN
2010
Springer
238views Algorithms» more  FUN 2010»
15 years 7 months ago
Mapping an Unfriendly Subway System
We consider a class of highly dynamic networks modelled on an urban subway system. We examine the problem of creating a map of such a subway in less than ideal conditions, where th...
Paola Flocchini, Matthew Kellett, Peter C. Mason, ...
ATAL
2004
Springer
15 years 8 months ago
Analysis of a Stochastic Model of Adaptive Task Allocation in Robots
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
Aram Galstyan, Kristina Lerman
HICSS
2009
IEEE
112views Biometrics» more  HICSS 2009»
15 years 9 months ago
Optimal Pumping Schedule and Salinity Control in a Coastal Aquifer: a Decision Support System
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
T. Ka'eo Duarte, Riccardo Minciardi, Michela Robba...
ACOM
2006
Springer
15 years 8 months ago
Using Social Commitments to Control the Agents' Freedom of Speech
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
Guillaume Muller, Laurent Vercouter