16725 search results - page 699 / 3345 » Engineering Software Correctness |
199
Voted
FOSSACS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
208
Voted
ICFEM
2005
Springer
16 years 28 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
184
click to vote
SOCO
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
202
click to vote
FOSSACS
2004
Springer
16 years 24 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
179
click to vote
ICESS
2004
Springer
16 years 24 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...