1529 search results - page 84 / 306 » An Abstraction Method Using a Semantic Engine Based on Langu... |
SAS
2001
Springer
14 years 22 days ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
ICCS
1999
Springer
14 years 17 days ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
IJIRR
2011
13 years 3 months ago
2011
— recently, search engines become more critical for finding information over the World Wide Web where web content growing fast, the user's satisfaction of search engine resu...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...