Sciweavers

2228 search results - page 215 / 446
» Electronic Payment Systems
Sort
View
CHI
2011
ACM
14 years 10 months ago
The reading desk: applying physical interactions to digital documents
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...
Jennifer Pearson, George Buchanan, Harold W. Thimb...

Publication
273views
14 years 4 months ago
 Beyond Graphs: A New Synthesis.
Artificial neural networks, electronic circuits, and gene networks are some examples of systems that can be modeled as networks, that is, as collections of interconnected nodes. I...
Mattiussi, Claudio, Dürr, Peter, Marbach, Daniel ...
DAC
2008
ACM
16 years 7 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
RTAS
2005
IEEE
16 years 7 days ago
Out-of-Norm Assertions
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
Philipp Peti, Roman Obermaisser, Hermann Kopetz
EH
2000
IEEE
114views Hardware» more  EH 2000»
15 years 11 months ago
Embryonics + Immunotronics: A Bio-Inspired Approach to Fault Tolerance
Fault tolerance has always been a standard feature of electronic systems intended for long-term missions. However, the high complexity of modern systems makes the incorporation of...
Daryl Bradley, Cesar Ortega-Sanchez, Andrew M. Tyr...