Sciweavers

15636 search results - page 270 / 3128
» Modelling by supersaturated designs
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 1 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
CHI
2011
ACM
14 years 10 months ago
Fit4life: the design of a persuasive technology promoting healthy behavior and ideal weight
This is a critical design paper offering a possible scenario of use intended to provoke reflection about values and politics of design in persuasive computing. We describe the des...
Stephen Purpura, Victoria Schwanda, Kaiton William...
DAC
2005
ACM
16 years 7 months ago
Fine-grained application source code profiling for ASIP design
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
Kingshuk Karuri, Mohammad Abdullah Al Faruque, Ste...
ICAC
2009
IEEE
16 years 1 months ago
Applying adaptation design patterns
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
Andres J. Ramirez, Betty H. C. Cheng
BPM
2007
Springer
153views Business» more  BPM 2007»
16 years 26 days 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