8695 search results - page 1297 / 1739 » Making the Complex Simple |
140
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
147
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
119
click to vote
FPL
2006
Springer
15 years 8 months ago
2006
Springer
A modern SoC design comprises dozens of dedicated IP cores for specialized tasks and processors for generalpurpose tasks. Flexibility is the key feature of processors, since it is...
162
click to vote
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes an approach for surface reconstruction of free-form rigid objects from an arbitrary set of intersecting range curves. A strategy for updating the reconstructed...
148
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...