1536 search results - page 130 / 308 » The Underlying Logic of Hoare Logic |
163
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
140
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
135
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...
150
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
138
click to vote
TWEB
2008
15 years 6 months ago
2008
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...