412 search results - page 52 / 83 » Modelling Metamorphism by Abstract Interpretation |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
PRICAI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
DAGM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...