534 search results - page 45 / 107 » Agent-environment interaction in a multi-agent system: a for... |
106
click to vote
ECOWS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
85
Voted
MASCOTS
2004
15 years 14 days ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
EICS
2010
ACM
15 years 3 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
62
Voted
CORR
2009
Springer
14 years 9 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
FM
2003
Springer
15 years 4 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...