Sciweavers

985 search results - page 90 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
APCHI
2004
IEEE
15 years 8 months ago
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
Jesper Kjeldskov, Mikael B. Skov
DAC
1999
ACM
15 years 8 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
CAD
2005
Springer
15 years 4 months ago
CAD tools for aesthetic engineering
The role of computers and of computer-aided design tools for the creation of geometrical shapes that will be judged primarily by aesthetic ations is reviewed. Examples are the pro...
Carlo H. Séquin
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 10 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
ISVLSI
2006
IEEE
89views VLSI» more  ISVLSI 2006»
15 years 10 months ago
System Exploration of SystemC Designs
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Christian Genz, Rolf Drechsler