6020 search results - page 955 / 1204 » A New Approach to Model Counting |
152
click to vote
WISTP
2009
Springer
16 years 1 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...
184
click to vote
ASIAMS
2008
IEEE
16 years 29 days ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
205
click to vote
ANSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Data propagation in wireless sensor networks is usually performed as a multihop process. To deliver a single message, the resources of many sensor nodes are used and a lot of ener...
157
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
In 1996 Ward et al reported the results of their UK study into the state of practice in evaluating and realizing benefits from IS/IT investments. This paper presents new empirical...
167
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
— In order to assist surgeons during surgery on moving organs, e.g. minimally invasive beating heart bypass surgery, a master-slave system which synchronizes surgical instruments...