Sciweavers

2228 search results - page 417 / 446
» Electronic Payment Systems
Sort
View
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
14 years 2 months ago
3D-integration of silicon devices: A key technology for sophisticated products
—3D integration is a key solution to the predicted performance increase of future electronic systems. It offers extreme miniaturization and fabrication of More than Moore product...
Armin Klumpp, Peter Ramm, R. Wieland
GSN
2009
Springer
189views Sensor Networks» more  GSN 2009»
14 years 2 months ago
Deploying a Wireless Sensor Network in Iceland
A wireless sensor network deployment on a glacier in Iceland is described. The system uses power management as well as power harvesting to provide long-term environment sensing. Ad...
Kirk Martinez, Jane K. Hart, Royan Ong
ERCIMDL
2001
Springer
178views Education» more  ERCIMDL 2001»
14 years 2 months ago
Customizable Retrieval Functions Based on User Tasks in the Cultural Heritage Domain
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
Holger Brocks, Ulrich Thiel, Adelheit Stein, Andre...
CAV
2000
Springer
197views Hardware» more  CAV 2000»
14 years 2 months ago
Bounded Model Construction for Monadic Second-Order Logics
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Abdelwaheb Ayari, David A. Basin
DDEP
2000
Springer
14 years 2 months ago
Perceptually-Tuned Grayscale Characters Based on Parametrisable Component Fonts
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...
Changyuan Hu, Roger D. Hersch