4242 search results - page 235 / 849 » For a science of group interaction |
175
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
146
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
172
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In a setting where heterogeneous agents interact to accomplish a given set of goals, cooperation is of utmost importance, especially when agents cannot achieve their indi...
184
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
SignalPlay is a sensor-based interactive sound environment in which familiar objects encourage exploration and discovery of sound interfaces through the process of play. Embedded ...