8132 search results - page 1393 / 1627 » Dependability, Abstraction, and Programming |
155
click to vote
ACSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
177
click to vote
GLOBECOM
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— A novel cluster-based coherent multi-user (MU) relaying system is proposed, where a number of source/destination pairs communicate concurrently over the same physical c...
163
click to vote
HAPTICS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper explores the use of haptic feedback to abstract motor skill that requires recalling a sequence of forces. Participants are guided along a trajectory and are asked to le...
173
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
163
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Extending network lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributive nodes in wireless sensor ...