2229 search results - page 148 / 446 » Abstract Storage Devices |
141
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
148
click to vote
IEEESP
2006
15 years 4 months ago
2006
t a single security abstraction layer, but rather is a roblem spanning multiple abstraction levels. We use an embedded biometric authentication device to demonstratethenecessityofa...
100
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Abstract-- We are conducting research on "Embodied Proactive Human Interface". The aim of this research is to develop a new human-friendly active interface based on two k...
145
click to vote
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
Traditional sensor network deployments consisted of fixed infrastructures and were relatively small in size. More and more, we see the deployment of ad-hoc sensor networks with h...
132
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...