4211 search results - page 486 / 843 » Types as Abstract Interpretations |
179
click to vote
PROMAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
148
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
166
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
154
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...
167
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...