858 search results - page 156 / 172 » Abstract Interpretation Based Verification of Logic Programs |
118
click to vote
ASC
2006
15 years 4 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
142
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
126
click to vote
VVEIS
2007
15 years 4 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
141
click to vote
EUSFLAT
2009
15 years 26 days ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
131
click to vote
FORTE
2007
15 years 4 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...