445 search results - page 40 / 89 » A Systematic Construction of Abstract Domains |
175
click to vote
ICMT
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
158
Voted
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
152
click to vote
TIM
2010
15 years 15 days ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...
138
click to vote
IESS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
150
click to vote
ESANN
2008
15 years 7 months ago
2008
Abstract. This paper discusses a machine learning approach for binary classification problems which satisfies the specific requirements of safety-related applications. The approach...