1111 search results - page 161 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
121
Voted
ENTCS
2008
15 years 2 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
125
Voted
IJMMS
2008
15 years 2 months ago
2008
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
128
Voted
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
114
Voted
ISBRA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure ...
182
Voted
MLG
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...