Sciweavers

368 search results - page 41 / 74
» b 1998
Sort
View
ASYNC
1998
IEEE
71views Hardware» more  ASYNC 1998»
13 years 12 months ago
Towards Asynchronous A-D Conversion
Analogue to digital (A-D) converters with a xed conversion time are subject to errors due to metastability. These errors will occur in all converter designs with a bounded time fo...
D. J. Kinniment, Alexandre Yakovlev, Fei Xia, B. G...
HICSS
1998
IEEE
169views Biometrics» more  HICSS 1998»
13 years 12 months ago
A Transmission-Constrained Unit Commitment Method
This paper presents a transmission-constrained unit commitment method using a Lagrangian relaxation approach. Based on a DC power flow model, the transmission constraints are form...
Chung-Li Tseng, Shmuel S. Oren, C. S. Cheng, C.-A....
CHI
1998
ACM
13 years 12 months ago
Designing Audio Aura
In this paper, we describe the process behind the design of Audio Aura. The goal of Audio Aura is to provide serendipitous information, via background auditory cues, that is tied ...
Elizabeth D. Mynatt, Maribeth Back, Roy Want, Mich...
HT
1998
ACM
13 years 12 months ago
Graphical Multiscale Web Histories: A Study of Padprints
We have implemented a browser companion called PadPrints that dynamically builds a graphical history-map of visited web pages. PadPrints relies on Pad++, a zooming user interface ...
Ron R. Hightower, Laura T. Ring, Jonathan Helfman,...
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
13 years 12 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet