Sciweavers

2092 search results - page 160 / 419
» A domain specific modeling language for multiagent systems
Sort
View
89
Voted
IFIP
2010
Springer
14 years 5 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
90
Voted
TPHOL
2003
IEEE
15 years 3 months ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
98
Voted
AOSE
2004
Springer
15 years 3 months ago
Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
Mercedes Amor, Lidia Fuentes, Antonio Vallecillo
CHI
2006
ACM
15 years 10 months ago
GUESS: a language and interface for graph exploration
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
Eytan Adar
SAC
2004
ACM
15 years 3 months ago
A robust deception-free coalition formation model
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
María-Victoria Belmonte, Ricardo Conejo, Jo...