Sciweavers

132 search results - page 1 / 27
» Evaluating Formalisms for Modular Ontologies in Distributed ...
Sort
View
RR
2007
Springer
13 years 10 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
KCAP
2009
ACM
13 years 9 months ago
An entropy inspired measure for evaluating ontology modularization
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
Paul Doran, Valentina A. M. Tamma, Terry R. Payne,...
VVEIS
2007
13 years 5 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
EGOV
2007
Springer
13 years 11 months ago
An Ontology for the Multi-perspective Evaluation of Quality in E-Government Services
This paper presents a quality ontology that formalizes all the needed knowledge for the realization of a multi-perspective and adaptive evaluation of e-government services. Differe...
Babis Magoutas, Christos Halaris, Gregoris Mentzas
FM
2006
Springer
126views Formal Methods» more  FM 2006»
13 years 8 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...