Sciweavers

1422 search results - page 105 / 285
» Integrating Agent Models and Dynamical Systems
Sort
View
155
Voted
ISSTA
2009
ACM
15 years 9 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
IFIP
1992
Springer
15 years 8 months ago
Defining the Dynamic Behaviour of Animated Interfaces
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
Stéphane Chatty
AAAI
2011
14 years 4 months ago
Linear Dynamic Programs for Resource Management
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...
Marek Petrik, Shlomo Zilberstein
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 5 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
WCE
2007
15 years 5 months ago
Exploring the Interdependencies among Communication, Knowledgeability and Performance of Multi-agent Systems
— The advent of ubiquitous computing has revolutionized distributed Multi-agent systems (MAS). Consequently, there are many software projects focusing on MASs. However, its succe...
Punam Bedi, Vibha Gaur