5128 search results - page 922 / 1026 » When Abstraction Fails |
144
click to vote
ESA
2009
Springer
16 years 29 days ago
2009
Springer
Given n potential oil locations, where each has oil at a certain depth, we seek good trade-offs between the number of oil sources found and the total amount of drilling performed. ...
218
click to vote
ICCS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...
196
click to vote
ICMT
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
162
click to vote
IFIP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
164
click to vote
IMA
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We provide the first proof of security for Abreast-DM, one of the oldest and most wellknown constructions for turning a block cipher with n-bit block length and 2n-bit k...