Sciweavers

3130 search results - page 69 / 626
» Design Correctness of Digital Systems
Sort
View
CHI
2003
ACM
16 years 3 months ago
Reflowing digital ink annotations
Annotating paper documents with a pen is a familiar and indispensable activity across a wide variety of work and educational settings. Recent developments in pen-based computing p...
David Bargeron, Tomer Moscovich
141
Voted
ACMDIS
2008
ACM
15 years 5 months ago
Sharing digital photographs in the home through physical mementos, souvenirs, and keepsakes
People now easily share digital photos outside the home via web publishing and gift-giving. Yet within the home, digital photos are hard to access and lack the physical affordance...
Michael Nunes, Saul Greenberg, Carman Neustaedter
125
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
118
Voted
CHI
2005
ACM
16 years 3 months ago
In the mixxx: novel digital DJ interfaces
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...
Tue Haste Andersen
143
Voted
JECR
2000
167views more  JECR 2000»
15 years 3 months ago
Commercial Scenarios of Digital Agent Deployment: A Functional Classification
The evolution and commercialization of Web Information Systems (WIS) since 1991 has gradually shifted the focus from basic design issues to feedback analysis, visualization techni...
Arno Scharl, Christian Bauer, Marion Kaukal