5255 search results - page 549 / 1051 » Formal Methods for Privacy |
206
click to vote
FMCO
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
167
click to vote
ISOLA
2004
Springer
16 years 13 days ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
190
click to vote
ECBS
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
230
click to vote
AGTIVE
2003
Springer
16 years 9 days ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
219
click to vote
FM
2003
Springer
16 years 9 days ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...