Sciweavers

3967 search results - page 681 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
ICARCV
2006
IEEE
137views Robotics» more  ICARCV 2006»
14 years 3 months ago
Nanorobot Communication Techniques: A Comprehensive Tutorial
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
Adriano Cavalcanti, Tad Hogg, Bijan Shirinzadeh, H...
ICDCSW
2006
IEEE
14 years 3 months ago
Developing Gestural Input
In this paper, we present the Gesture Cube, a digitally augmented cube for human-computer interaction. The Gesture Cube is designed to be an unobtrusive and playful interaction de...
Matthias Kranz, Stefan Freund, Paul Holleis, Albre...
WOWMOM
2005
ACM
133views Multimedia» more  WOWMOM 2005»
14 years 2 months ago
A Statistical Matching Approach to Detect Privacy Violation for Trust-Based Collaborations
Distributed trust and reputation management mechanisms are often proposed as a means of providing assurance in dynamic and open environments by enabling principals to building up ...
Mohamed Ahmed, Daniele Quercia, Stephen Hailes
SWS
2004
ACM
14 years 2 months ago
Ticket-based fine-grained authorization service in the dynamic VO environment
Virtual Organization (VO) is a collection of users and distributed resources, in which resources are shared by users. Creating VOs is very important task in Grid computing. VOs ar...
Byung Joon Kim, Sung Je Hong, Jong Kim
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 2 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...