7112 search results - page 459 / 1423 » Power in normative systems |
140
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
167
click to vote
GW
2005
Springer
16 years 12 days ago
2005
Springer
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...
186
click to vote
IWDW
2005
Springer
16 years 11 days ago
2005
Springer
Image-Adaptive watermarking systems exploit visual models to adapt the watermark to local properties of the host image. This leads to a watermark power enhancement, hence an improv...
171
click to vote
FOSSACS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
179
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...