242 search results - page 30 / 49 » Snapshot Generation in a Constructive Object-Oriented Modeli... |
105
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
196
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
123
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
161
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
120
click to vote
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...