746 search results - page 60 / 150 » Formal Analysis of UML-Based Designs |
103
click to vote
KBS
2000
15 years 1 months ago
2000
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
111
click to vote
ISARCS
2010
15 years 5 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
149
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
112
click to vote
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Serendipity has a long tradition in the history of science as having played a key role in many significant discoveries. Computer scientists, valuing the role of serendipity in dis...
136
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...