1398 search results - page 146 / 280 » Ensuring Properties of Interaction Systems |
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
155
click to vote
HAPTICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Dynamic properties of robotic manipulators, including inertia, damping, and friction, limit the transparency of a haptic-feedback teleoperator. In this paper, we develop a positio...
178
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
GAZE-2 is a novel group video conferencing system that uses eye-controlled camera direction to ensure parallaxfree transmission of eye contact. To convey eye contact, GAZE-2 emplo...
147
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
165
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...