1799 search results - page 126 / 360 » The Logic of Correctness in Software Engineering |
144
Voted
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
393
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
169
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
198
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
169
click to vote
ICST
2008
IEEE
16 years 19 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...