6978 search results - page 1251 / 1396 » On Proofs in System P |
CIT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
CRYPTO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce a compact and efficient representation of elements of the algebraic torus. This allows us to design a new discretelog based public-key system achieving the o...
ER
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
In a ubiquitous computing environment, users continuously access computing services and interact with smart spaces, while moving from one place to another. Application migration, t...
FPGA
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...