2135 search results - page 92 / 427 » Dependability Analysis of CAN Networks: An Emulation-Based A... |
CAV
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
JEI
2008
13 years 6 months ago
2008
Recent research has shown that it is possible to spoof a variety of fingerprint scanners using some simple techniques with molds made from plastic, clay, Play-Doh, silicon, or gela...
APSEC
1998
IEEE
14 years 13 days ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
Query reformulation modifies the original query with the aim of better matching the vocabulary of the relevant documents, and consequently improving ranking effectiveness. Previou...
COMCOM
2011
13 years 3 months ago
2011
This paper presents a rigorous analytic study of gossip-based message dissemination schemes that can be employed for content/service dissemination or discovery in unstructured and...