13383 search results - page 267 / 2677 » Abstractions from proofs |
180
click to vote
ICTCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
160
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
213
click to vote
FMCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
183
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
187
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...