Sciweavers

2106 search results - page 368 / 422
» Operational Semantics for MSC'96
Sort
View
ENTCS
2007
134views more  ENTCS 2007»
14 years 9 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
ENTCS
2007
102views more  ENTCS 2007»
14 years 9 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
ENTCS
2007
116views more  ENTCS 2007»
14 years 9 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
IJAR
2007
96views more  IJAR 2007»
14 years 9 months ago
A paraconsistent logic programming approach for querying inconsistent databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
Sandra de Amo, Mônica Sakuray Pais
IJFCS
2007
93views more  IJFCS 2007»
14 years 9 months ago
Modelling and Analysis of PKI-Based Systems Using Process Calculi
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
Benjamin Aziz, Geoff Hamilton