3931 search results - page 407 / 787 » Separation logic and abstraction |
220
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
157
click to vote
SE
2010
15 years 8 months ago
2010
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...
173
click to vote
EWC
2002
15 years 6 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
163
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
218
click to vote
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...