3228 search results - page 402 / 646 » Computationally Sound Proofs |
156
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
139
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
136
Voted
COMPGEOM
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we bound the difference between the total mean curvatures of two closed surfaces in R3 in terms of their total absolute curvatures and the Fr´echet distance betwee...
126
Voted
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...
107
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Finding feasible points for which the proof succeeds is a critical issue in safe Branch and Bound algorithms which handle continuous problems. In this paper, we introduce...