2055 search results - page 355 / 411 » Generic Model Refactorings |
102
click to vote
ASIACRYPT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...
102
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...
121
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
115
click to vote
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes a new benchmark for object-relational DBMSs, the Benchmark for Object-Relational Databases (BORD). BORD has been developed to evaluate system performance pecul...
108
click to vote
METRICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...