877 search results - page 165 / 176 » Full Abstraction for HOPLA |
CP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
DRM
2007
Springer
14 years 2 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
EUROCRYPT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
HIPC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...