Sciweavers

4445 search results - page 399 / 889
» Reflective Authorization Systems
Sort
View
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
16 years 16 days ago
The Back-Office of E-government (Managing Information Domains as Political Economies)
Many governmental organizations nowadays are setting up e-government initiatives to improve the delivery of services to citizens. Often, these initiatives require information exch...
Vincent Homburg, Victor Bekkers
PCM
2009
Springer
180views Multimedia» more  PCM 2009»
16 years 3 days ago
RST-Invariant Semi-fragile Image Authentication Based on DWT-Coefficient Quantization
Abstract. In this paper, we propose an image moment-based geometric normalization to be applied before embedding and extracting a digital watermark in the DWT-domain of JPEG2000. A...
Mathias Schlauweg, Erika Müller
WDAG
2001
Springer
78views Algorithms» more  WDAG 2001»
15 years 12 months ago
Self Stabilizing Distributed Queuing
Distributed queuing is a fundamental coordination problem, arising in a variety of applications, including distributed shared memory, distributed directories, and totally ordered ...
Maurice Herlihy, Srikanta Tirthapura
MSS
2000
IEEE
84views Hardware» more  MSS 2000»
15 years 12 months ago
A Portable Tape Driver Architecture
This paper describes a new architecture for device drivers for tape drives attached to UNIX-like systems. The design goals are presented, some current architectures are measured a...
Curtis Anderson
TPHOL
2000
IEEE
15 years 12 months ago
Proving ML Type Soundness Within Coq
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
Catherine Dubois