736 search results - page 15 / 148 » Moving Specification Structures Between Logical Systems |
134
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
141
Voted
EUROMICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
131
Voted
ENTCS
2008
15 years 2 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
157
click to vote
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
126
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...