231 search results - page 18 / 47 » A Brief Overview of PVS |
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
RKB Explorer is a Semantic Web application that is able to present unified views of a significant number of heterogeneous data sources regarding a given domain. We have developed...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present a brief overview of Falcon-AO (version 0.7): a practical ontology matching system with acceptable to very good performance, a flexible architecture, and ...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
In case the objective function to be minimized is not known analytically and no assumption can be made about the single extremum, global optimization (GO) methods must be used. Pap...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...