Sciweavers

4543 search results - page 250 / 909
» Interactive Distributed Configuration
Sort
View
140
Voted
ACMACE
2006
ACM
15 years 9 months ago
Airhockey over a distance: a networked physical game to support social interactions
In modern society, people increasingly lack social interaction, even though it is beneficial to professional and personal life. Airhockey Over a Distance aims to work against this...
Florian Mueller, Luke Cole, Shannon O'Brien, Woute...
110
Voted
ATAL
2004
Springer
15 years 9 months ago
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
Gery Gutnik, Gal A. Kaminka
112
Voted
POPL
1991
ACM
15 years 7 months ago
Coordinating First-Order Multiparty Interactions
-order multiparty interaction is an abstraction mechanism that defines communication among a set of formal process roles. Actual processes participate in a first-order interactio...
Yuh-Jzer Joung, Scott A. Smolka
145
Voted
JOT
2007
169views more  JOT 2007»
15 years 3 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
147
Voted
TOG
2012
222views Communications» more  TOG 2012»
13 years 6 months ago
Plastic trees: interactive self-adapting botanical tree models
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
Sören Pirk, Ondrej Stava, Julian Kratt, Miche...