Sciweavers

5672 search results - page 268 / 1135
» Design techniques for low-power systems
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
An empirical study on the evolution of design patterns
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Co...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 3 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
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
CHI
2010
ACM
16 years 1 months ago
Bridging the gap: moving from contextual analysis to design
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
Tejinder K. Judge, Carman Neustaedter, Anthony Tan...
TEC
2002
119views more  TEC 2002»
15 years 6 months ago
Graph-based evolutionary design of arithmetic circuits
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
Dingjun Chen, Takafumi Aoki, Naofumi Homma, Toshik...