837 search results - page 114 / 168 » Proof Development with OMEGA |
152
click to vote
MLDM
1999
Springer
15 years 10 months ago
1999
Springer
In the field of pattern recognition, multiple classifier systems based on the combination of the outputs of a set of different classifiers have been proposed as a method for the de...
227
click to vote
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
159
click to vote
TCC
2010
Springer
15 years 10 months ago
2010
Springer
Related-key attacks are attacks against constructions which use a secret key (such as a blockcipher) in which an attacker attempts to exploit known or chosen relationships among ke...
166
click to vote
DSRT
2009
IEEE
15 years 10 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
168
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...