Sciweavers

9110 search results - page 378 / 1822
» Formally-Based Design Evaluation
Sort
View
CHI
1997
ACM
15 years 11 months ago
The Cognitive Ergonomics of Knowledge-Based Design Support Systems
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
Tamara Sumner, Nathalie Bonnardel, Benedikte Harst...
AIEDAM
2006
89views more  AIEDAM 2006»
15 years 6 months ago
Design space exploration revisited
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
Pieter H. G. van Langen, Frances M. T. Brazier
CHI
2011
ACM
14 years 10 months ago
Proxemic interactions in ubiquitous computing ecologies
An important challenge in ubiquitous computing (ubicomp) is to create techniques that allow people to seamlessly and naturally connect to and interact with the increasing number o...
Nicolai Marquardt
ETS
2011
IEEE
224views Hardware» more  ETS 2011»
14 years 6 months ago
AVF Analysis Acceleration via Hierarchical Fault Pruning
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
Michail Maniatakos, Chandra Tirumurti, Abhijit Jas...
CSCW
2012
ACM
14 years 2 months ago
Collaboratively crowdsourcing workflows with turkomatic
Preparing complex jobs for crowdsourcing marketplaces requires careful attention to workflow design, the process of decomposing jobs into multiple tasks, which are solved by multi...
Anand Pramod Kulkarni, Matthew Can, Björn Har...