1117 search results - page 115 / 224 » Partial Models of Extended Generalized Logic Programs |
125
click to vote
APAL
2008
15 years 1 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
136
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
115
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
109
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...