1422 search results - page 149 / 285 » Complementation in Abstract Interpretation |
137
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
155
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
243
click to vote
ICIAR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
127
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
134
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...