2092 search results - page 232 / 419 » A domain specific modeling language for multiagent systems |
SIGSOFT
2009
ACM
15 years 12 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
IDEAL
2005
Springer
15 years 4 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
UM
2001
Springer
15 years 3 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...