746 search results - page 49 / 150 » Formal Analysis of UML-Based Designs |
RECOMB
2000
Springer
15 years 5 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
137
click to vote
CLA
2004
15 years 3 months ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
79
Voted
AUSAI
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we introduce an experimental approach to the design, analysis and implementation of market mechanisms based on double auction. We deļ¬ne a formal market model that ...
114
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
95
Voted
TSE
1998
15 years 1 months ago
1998
āCohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...