3379 search results - page 131 / 676 » Combinators for Interaction Nets |
186
Voted
ANTSW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We study through simulation the performance of two MANET routing algorithms in a realistic urban environment. The two algorithms, AODV and AntHocNet, are representative o...
195
Voted
JSAC
2006
15 years 7 months ago
2006
Measuring the performance of an implementation of a set of protocols and analyzing the results is crucial to understanding the performance and limitations of the protocols in a rea...
180
Voted
ACSD
2003
IEEE
16 years 7 days ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
231
Voted
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
174
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
We describe the design and implementation of a socially assistive robot that is able to monitor the performance of a user during a combined mental and physical task, with the purp...