3053 search results - page 522 / 611 » Structured Objects: Modeling and Reasoning |
113
click to vote
AFRICACRYPT
2009
Springer
15 years 5 months ago
2009
Springer
The notion of certified encryption had recently been suggested as a suitable setting for analyzing the security of encryption against adversaries that tamper with the key-registrat...
118
click to vote
AAAI
2000
15 years 3 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
115
click to vote
STOC
2004
ACM
16 years 1 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
114
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
Real-time rendering of massively textured 3D scenes usually involves two major problems: Large numbers of texture switches are a well-known performance bottleneck and the set of s...
126
click to vote
ICMT
2009
Springer
15 years 8 months 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 ...