624 search results - page 86 / 125 » Application of Lightweight Formal Methods to Software Securi... |
105
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
100
click to vote
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
122
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...