6978 search results - page 1251 / 1396 » On Proofs in System P |
221
Voted
CIT
2004
Springer
16 years 13 days 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...
157
Voted
CRYPTO
2004
Springer
16 years 13 days 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...
160
Voted
ER
2004
Springer
16 years 13 days 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...
231
Voted
EUC
2004
Springer
16 years 13 days 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...
174
Voted
FPGA
2004
ACM
16 years 13 days 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 ...