1640 search results - page 71 / 328 » Design of Synchronous Action Systems |
121
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
143
Voted
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
131
click to vote
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
149
click to vote
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. An endoscopic solo surgery simulator was designed to quantitatively evaluate human-machine interface in robotic camera positioning systems. Our simulator can assess not o...
130
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...