826 search results - page 127 / 166 » Resolving Concurrent Interactions |
143
Voted
IAJIT
2010
15 years 1 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
HCI
2009
15 years 10 days ago
2009
We discuss the physiological metrics that can be measured with electroencephalography (EEG) and functional near infrared spectroscopy (fNIRs). We address the functional and practic...
110
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
129
click to vote
USENIX
1994
15 years 3 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
161
Voted
CHI
2003
ACM
16 years 2 months ago
2003
ACM
We describe two games in which online participants collaborated with mobile participants on the city streets. In the first, the players were online and professional performers wer...