3742 search results - page 683 / 749 » On the Use of Formal Techniques for Validation |
155
click to vote
EMSOFT
2007
Springer
16 years 11 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
164
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
178
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
176
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
171
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...