4270 search results - page 103 / 854 » A Permutation Approach to Validation |
136
click to vote
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
145
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
: In a data warehousing process, the phase of data integration is crucial. Many methods for data integration have been published in the literature. However, with the development of...
144
click to vote
JUCS
2007
2007
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
15 years 4 months ago
: This paper describes an ontology-based approach aiming at helping biologists to annotate their documents and at facilitating their information retrieval task. Our approach, based...
127
click to vote
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 2 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
132
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...