3342 search results - page 506 / 669 » Automating Abstract Interpretation |
97
Voted
BDA
1998
15 years 2 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...
74
Voted
BILDMED
2009
15 years 1 months ago
2009
Abstract. The tracking of individual cells in time-lapse microscopy facilitates the assessment of certain characteristics of different cell types. Since manual tracking of an adequ...
103
Voted
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
110
click to vote
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
112
Voted
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Cloud computing infrastructures are providing resources on demand for tackling the needs of large-scale distributed applications. Determining the amount of resources to a...