5255 search results - page 571 / 1051 » Formal Methods for Privacy |
171
click to vote
COCO
2003
Springer
16 years 9 days ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
182
click to vote
FM
2003
Springer
16 years 8 days ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
205
click to vote
FM
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
178
click to vote
FMCO
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
186
click to vote
FMCO
2003
Springer
16 years 8 days ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...