Sciweavers

9015 search results - page 1633 / 1803
» Using Structural Computing to Support Information Integratio...
Sort
View
144
Voted
CHI
2006
ACM
16 years 3 months ago
Tabletop sharing of digital photographs for the elderly
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...
Trent Apted, Judy Kay, Aaron J. Quigley
120
Voted
CCS
2009
ACM
15 years 7 months ago
TruWallet: trustworthy and migratable wallet-based web authentication
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
Sebastian Gajek, Hans Löhr, Ahmad-Reza Sadegh...
123
Voted
EMSOFT
2006
Springer
15 years 6 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
GEOINFO
2004
15 years 4 months ago
Parallel Volume Rendering for Ocean Visualization in a Cluster of PCs
Volume rendering techniques can be very useful in geographical information systems to provide meaningful and visual information about the surface and the interior of 3D datasets. ...
Alexandre Coelho, Marcio Nascimento, Cristiana Ben...
135
Voted
RV
2010
Springer
177views Hardware» more  RV 2010»
15 years 1 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
« Prev « First page 1633 / 1803 Last » Next »