Sciweavers

3119 search results - page 272 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
ICSE
2000
IEEE-ACM
15 years 8 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
HCI
2007
15 years 6 months ago
Recognition of Affect Conveyed by Text Messaging in Online Communication
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
ATAL
2009
Springer
15 years 11 months ago
Searching for fair joint gains in agent-based negotiation
In multi-issue negotiations, autonomous agents can act cooperatively to benefit from mutually preferred agreements. However, empirical evidence suggests that they often fail to s...
Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk
ATAL
2003
Springer
15 years 10 months ago
Towards interest-based negotiation
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...
Iyad Rahwan, Liz Sonenberg, Frank Dignum
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 10 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...