2576 search results - page 174 / 516 » Methodology work is ontology work |
223
click to vote
AIMDM
1999
Springer
15 years 11 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
139
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
CAD tool interoperability issues are a recurring impediment to constructing a design methodology, especially if the methodology incorporates point tools from several vendors. Failu...
163
click to vote
FOSAD
2009
Springer
15 years 10 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
176
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
184
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...