Sciweavers

1180 search results - page 102 / 236
» Interaction Protocols in Agentis
Sort
View
89
Voted
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
15 years 5 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled
91
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
A Coordination Architecture for Internet Groupwork
This paper discusses a group coordination architecture to support Internet-wide distributed collaboration in the context of legacy Internet protocols. Group coordination in distri...
Hans-Peter Dommel, J. J. Garcia-Luna-Aceves
108
Voted
JECR
2000
114views more  JECR 2000»
15 years 14 days ago
Intelligent Agents Acting as Artificial Employees in an Electronic Market
This paper describes an agent-based electronic market system whose underlying communication and cooperation protocols establish an artificial environment with advanced features. U...
Nikos I. Karacapilidis, Pavlos Moraitis
HAPTICS
2010
IEEE
14 years 10 months ago
The Influence of Different Haptic Environments on Time Delay Discrimination in Force Feedback
Time delay in haptic telepresence arising from compression or communication alters the phase characteristics of the environment impedance. This paper describes how well a human ope...
Markus Rank, Zhuanghua Shi, Hermann J. Müller...
114
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 10 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero