1173 search results - page 179 / 235 » On the Compositionality of Round Abstraction |
100
Voted
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
104
Voted
FUIN
2006
15 years 23 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
114
click to vote
TOPLAS
1998
15 years 12 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
140
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
105
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...