13383 search results - page 267 / 2677 » Abstractions from proofs |
203
click to vote
ICTCS
2005
Springer
16 years 24 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...
176
click to vote
ECOOP
2005
Springer
16 years 22 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...
241
click to vote
FMCO
2004
Springer
16 years 20 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...
195
click to vote
GECCO
2004
Springer
16 years 20 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...
203
click to vote
ICTAC
2004
Springer
16 years 20 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...