3706 search results - page 281 / 742 » OntoComP System Description |
184
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
185
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
164
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
189
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
160
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...