Sciweavers

1492 search results - page 33 / 299
» Integrative, model-based engineering design
Sort
View
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
14 years 3 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
AEI
2004
114views more  AEI 2004»
13 years 8 months ago
Physical concept ontology for the knowledge intensive engineering framework
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
Masaharu Yoshioka, Yasushi Umeda, Hideaki Takeda, ...
IOLTS
2008
IEEE
102views Hardware» more  IOLTS 2008»
14 years 2 months ago
Integrating Scan Design and Soft Error Correction in Low-Power Applications
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...
Michael E. Imhof, Hans-Joachim Wunderlich, Christi...
HCI
2007
13 years 9 months ago
CRUISER: A Cross-Discipline User Interface and Software Engineering Lifecycle
This article seeks to close the gap between software engineering and human-computer interaction by indicating interdisciplinary interfaces of SE and HCI lifecycles. We present a cr...
Thomas Memmel, Fredrik Gundelsweiler, Harald Reite...
COBUILD
1998
Springer
14 years 16 days ago
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
Norbert A. Streitz, Jörg Geißler, Torst...