90 search results - page 10 / 18 » A Basis for Formal Robustness Checking |
145
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
151
click to vote
CI
1999
15 years 4 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
242
click to vote
BIBE
2004
IEEE
15 years 8 months ago
2004
IEEE
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
118
click to vote
BIOINFORMATICS
2005
15 years 4 months ago
2005
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...