Sciweavers

1251 search results - page 70 / 251
» Design of an Early Minicomputer
Sort
View
94
Voted
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 7 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...
DATE
2007
IEEE
223views Hardware» more  DATE 2007»
15 years 7 months ago
CARAT: a toolkit for design and performance analysis of component-based embedded systems
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
Egor R. V. Bondarev, Michel R. V. Chaudron, Peter ...
134
Voted
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 1 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
99
Voted
IJHCI
2006
95views more  IJHCI 2006»
15 years 19 days ago
Problem Prioritization in Usability Evaluation: From Severity Assessments Toward Impact on Design
Severity assessments enable prioritization of problems encountered during usability evaluations and thereby provide a device for guiding the utilization of design resources. Howeve...
Morten Hertzum
88
Voted
CHI
2009
ACM
16 years 1 months ago
Designing CALLY, : a cell-phone robot
This proposal describes the early phase of our design process developing a robot cell-phone named CALLY, with which we are exploring the roles of facial and gestural expressions o...
Ji-Dong Yim, Christopher D. Shaw