2317 search results - page 204 / 464 » Model based testing for agent systems |
122
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
138
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
155
click to vote
AUTOMATICA
2010
15 years 2 months ago
2010
When a phenomenon is described by a parametric model and multiple datasets are available, a key problem in statistics is to discover which datasets are characterized by the same p...
122
click to vote
COMPUTER
2008
15 years 4 months ago
2008
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
136
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...