1458 search results - page 220 / 292 » Extended Term Rewriting Systems |
106
Voted
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
The functionality of extensible database servers can be augmented by user-de ned functions UDFs . However, the server's security and stability are concerns whenever new code...
103
Voted
EUROCRYPT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
87
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
93
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
101
click to vote
FPGA
2007
ACM
15 years 4 months ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...