Sciweavers

7080 search results - page 997 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
CHI
2007
ACM
16 years 5 months ago
Approaches to web search and navigation for older computer novices
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
Anna Dickinson, Michael J. Smith, John L. Arnott, ...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 10 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
MM
2005
ACM
104views Multimedia» more  MM 2005»
15 years 10 months ago
Post-bit: embodied video contents on tiny stickies
Post-Bit is a small e-paper device modeled after paper PostIts r 1 . We explored and designed interfaces to handle multimedia contents with paper-like manipulations using this epa...
Takashi Matsumoto, Tony Dunnigan, Maribeth Back
EWC
2007
102views more  EWC 2007»
15 years 5 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...
Vineet R. Kamat, Julio C. Martínez
WSC
2007
15 years 7 months ago
Fundamentals of simulation modeling
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
Paul J. Sánchez