2062 search results - page 244 / 413 » Derivatives of Logical Formulas |
177
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
160
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
144
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
156
click to vote
SAT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
163
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...