18090 search results - page 358 / 3618 » Computing by Only Observing |
198
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
169
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
158
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
A flurry of recent work has focused on the performance gains that may be achieved by leveraging the broadcast nature of the wireless channel. In particular, researchers have obse...
179
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Automatic library generators, such as ATLAS [11], Spiral [8] and FFTW [2], are promising technologies to generate efficient code for different computer architectures. The library...
206
click to vote
IUI
2006
ACM
16 years 19 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...