16518 search results - page 3130 / 3304 » A New Approach to Splitting-Off |
125
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we introduce a new way to interact intimately with an automated system. The Intimate Door Lock investigates the psychological effects of intimate humanhuman interact...
148
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
142
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
129
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
151
Voted
CCS
2009
ACM
15 years 11 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...