1799 search results - page 314 / 360 » The Logic of Correctness in Software Engineering |
144
Voted
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
146
Voted
FOSSACS
2009
Springer
16 years 26 days ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
196
click to vote
ICARIS
2007
Springer
16 years 6 days ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
194
click to vote
IOLTS
2006
IEEE
16 years 3 days ago
2006
IEEE
So far, performance and reliability of circuits have been determined by worst-case characterization of silicon and environmental noise. As new deep sub-micron technologies exacerb...
140
click to vote
ASPLOS
2006
ACM
16 years 1 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...