4340 search results - page 437 / 868 » Formal Methods and Cryptography |
184
click to vote
AGTIVE
2003
Springer
16 years 1 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
183
click to vote
CAV
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
207
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
183
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
165
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...