Sciweavers

1180 search results - page 22 / 236
» Interaction Protocols in Agentis
Sort
View
JAPLL
2007
52views more  JAPLL 2007»
13 years 10 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
AINA
2010
IEEE
13 years 8 months ago
TCP Testing: How Well Does ns2 Match Reality?
New transport protocols continue to appear as alternatives to the Transmission Control Protocol (TCP). Many of these are are designed to address TCP's inefficiency in operatin...
Martin Bateman, Saleem N. Bhatti
ATAL
2003
Springer
14 years 4 months ago
A FIPA Compliant Goal Delegation Protocol
This paper presents an interaction protocol, built on top of FIPA ACL, allowing an agent to delegate a goal to another agent, in the form of a proposition that the delegating agen...
Federico Bergenti, Giovanni Rimassa, Matteo Somach...
ATAL
2007
Springer
14 years 5 months ago
Deriving agent-centred representations of protocols described using propositional statecharts
Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequ...
Hywel R. Dunn-Davies, Jim Cunningham
PROMAS
2005
Springer
14 years 4 months ago
A Model-Based Executive for Commanding Robot Teams
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Anthony Barrett