3773 search results - page 610 / 755 » Logical Reasoning |
127
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
146
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
167
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
133
click to vote
IGPL
2010
15 years 3 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
160
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...