Sciweavers

1324 search results - page 17 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
POPL
1991
ACM
15 years 9 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
CONTEXT
2005
Springer
15 years 11 months ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
COORDINATION
2000
Springer
15 years 9 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
RAS
2006
81views more  RAS 2006»
15 years 5 months ago
Experiments in multirobot coordination
Consequent to previously published theoretical work by Marshall, Broucke, and Francis, this paper summarizes the apparatus and results of multirobot coordination experiments condu...
Joshua A. Marshall, Terence Fung, Mireille E. Brou...
CHI
2006
ACM
16 years 6 months ago
"LINC-ing" the family: the participatory design of an inkable family calendar
Families must continually organize, plan, and stay aware of the activities of their households in order to coordinate everyday life. Despite having organization schemes, many peop...
Carman Neustaedter, A. J. Bernheim Brush