Sciweavers

1099 search results - page 154 / 220
» A Formal Approach to Domain-Oriented Software Design Environ...
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 1 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
CHI
2011
ACM
14 years 3 months ago
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing
Although touch-screen laptops are increasing in popularity, users still do not comfortably rely on touch in these environments, as current software interfaces were not designed fo...
Xing-Dong Yang, Tovi Grossman, Pourang Irani, Geor...
ICTAI
2008
IEEE
15 years 6 months ago
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang
CERA
2007
105views more  CERA 2007»
14 years 12 months ago
CAD/CAPP Integration using Feature Ontology
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
Christel Dartigues, Parisa Ghodous, Michael Grunin...
RV
2009
Springer
155views Hardware» more  RV 2009»
15 years 4 months ago
Hardware Supported Flexible Monitoring: Early Results
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
Antonia Zhai, Guojin He, Mats Per Erik Heimdahl