90 search results - page 10 / 18 » A Basis for Formal Robustness Checking |
113
Voted
SOCO
2007
Springer
15 years 6 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....
68
Voted
FROCOS
2005
Springer
15 years 6 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...
111
Voted
CI
1999
15 years 9 days 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...
111
Voted
BIBE
2004
IEEE
15 years 4 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...
BIOINFORMATICS
2005
15 years 16 days 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...