950 search results - page 124 / 190 » Type Specialization in Aldor |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
VLSM
2005
Springer
14 years 2 months ago
2005
Springer
The need to regularize tensor fields arise recently in various applications. We treat in this paper tensors that belong to matrix Lie groups. We formulate the problem of these SO(...
WADS
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a general family of 3D hinged dissections for polypolyhedra, i.e., connected 3D solids formed by joining several rigid copies of the same polyhedron along iden...
AES
2004
Springer
14 years 2 months ago
2004
Springer
This paper is motivated by the design of AES. We consider a broader question of cryptanalysis of block ciphers having very good non-linearity and diffusion. Can we expect anyway, ...