Sciweavers

1091 search results - page 135 / 219
» A New Approach to Design an Interactive System for Molecular...
Sort
View
CHI
2005
ACM
14 years 9 months ago
Modal spaces: spatial multiplexing to mediate direct-touch input on large displays
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...
Katherine Everitt, Chia Shen, Kathy Ryall, Clifton...
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
14 years 21 days ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
ACMACE
2010
ACM
13 years 3 months ago
Tangible anchoring: grasping news and public opinion
Tangible Anchoring explores potential practices for news reporting and analysis afforded by the convergence of tabletop computing forms, broadcast media, and user-generated conten...
Susan J. Robinson, Sam Mendenhall, Vedrana Novosel...
MICRO
2008
IEEE
103views Hardware» more  MICRO 2008»
14 years 3 months ago
Testudo: Heavyweight security analysis via statistical sampling
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
Joseph L. Greathouse, Ilya Wagner, David A. Ramos,...
ICSE
2008
IEEE-ACM
14 years 9 months ago
Impact analysis of database schema changes
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
Andy Maule, Wolfgang Emmerich, David S. Rosenblum