Sciweavers

5325 search results - page 719 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
WWW
2009
ACM
16 years 7 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
PERCOM
2006
ACM
16 years 6 months ago
RFID malware: Design principles and examples
This paper explores the concept of malware for Radio Frequency Identification (RFID) systems -- including RFID exploits, RFID worms, and RFID viruses. We present RFID malware desi...
Melanie R. Rieback, Patrick N. D. Simpson, Bruno C...
EWSN
2006
Springer
16 years 6 months ago
Generic Routing Metric and Policies for WSNs
Energy-aware algorithms have proven to be a crucial part of sensor network applications, especially if they are required to operate for extended periods of time. Among these, effic...
Olga Saukh, Pedro José Marrón, Andre...
HAPTICS
2009
IEEE
16 years 1 months ago
Performance related energy exchange in haptic human-human interaction in a shared virtual object manipulation task
In order to enable intuitive physical interaction with autonomous robots as well as in collaborative multi-user virtual reality and teleoperation systems a deep understanding of h...
Daniela Feth, Raphaela Groten, Angelika Peer, Sand...
HAPTICS
2009
IEEE
16 years 1 months ago
Haptic augmented reality: Modulation of real object stiffness
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
Seokhee Jeon, Seungmoon Choi