Sciweavers

6239 search results - page 252 / 1248
» From Zinc to Design Model
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 18 days 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
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 7 months ago
Function and form of gestures in a collaborative design meeting
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
Willemien Visser
EOR
2011
127views more  EOR 2011»
15 years 2 months ago
Methodology for determining the acceptability of system designs in uncertain environments
In practice, managers often wish to ascertain that a particular engineering design of a production system meets their requirements. The future environment of this design is likely...
Jack P. C. Kleijnen, Henri Pierreval, Jin Zhang
BPM
2007
Springer
153views Business» more  BPM 2007»
16 years 1 months ago
Compliance Aware Business Process Design
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
CCR
2004
62views more  CCR 2004»
15 years 7 months ago
Methodological frameworks for large-scale network analysis and design
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
Antonis Papachristodoulou, Lun Li, John C. Doyle