Sciweavers

2452 search results - page 207 / 491
» The Case for Precision Sharing
Sort
View
CSFW
2008
IEEE
16 years 1 months ago
Composition of Password-Based Protocols
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
Stéphanie Delaune, Steve Kremer, Mark Ryan
MEMOCODE
2008
IEEE
16 years 1 months ago
Static Deadlock Detection for the SHIM Concurrent Language
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
Nalini Vasudevan, Stephen A. Edwards
AINA
2007
IEEE
16 years 1 months ago
Collaborative Signal Reinforcement in Sensor Networks
Nodes in sensor fields and in autonomous swarms of mobile robots need to communicate; this usually requires individual nodes to either consume a significant amount of energy, ca...
Tingting Meng, Peter M. Athanas
ICC
2007
IEEE
133views Communications» more  ICC 2007»
16 years 1 months ago
A Token-Based Scheduling Scheme for WLANs and Its Performance Analysis
— Most of the existing WLAN MAC protocols can only provide limited service differentiation. In this paper, we propose a novel token-based scheduling scheme for precise and quanti...
Ping Wang, Weihua Zhuang
ICRA
2007
IEEE
156views Robotics» more  ICRA 2007»
16 years 1 months ago
Development and Application of a New Steady-Hand Manipulator for Retinal Surgery
— This paper describes the development and initial testing of a new and optimized version of a steady-hand manipulator for retinal microsurgery. In the steady-hand paradigm, the ...
Ben Mitchell, John Koo, Iulian Iordachita, Peter K...