5255 search results - page 847 / 1051 » Formal Methods for Privacy |
139
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
163
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
197
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
178
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
169
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...