Sciweavers

706 search results - page 81 / 142
» Conceptual Modeling with Description Logics
Sort
View
CORR
2010
Springer
171views Education» more  CORR 2010»
13 years 9 months ago
An Object-Oriented Metamodel for Bunge-Wand-Weber Ontology
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
Arvind W. Kiwelekar, Rushikesh K. Joshi
BIRTHDAY
2010
Springer
13 years 10 months ago
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
Martin Grohe
SAFECOMP
2001
Springer
14 years 1 months ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
Mohamed Kaâniche, Yannick Le Guédart,...
ECIS
2001
13 years 10 months ago
Building an Enterprise Architecture for Public Administration: A High Level Data Model for Strategic Planning
This paper describes the construction of a generic data model for strategic planning in Public Administration (PA). This model is presented at two distinct levels corresponding to...
Konstantinos A. Tarabanis, Vassilios Peristeras, G...
FMSD
2006
183views more  FMSD 2006»
13 years 9 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic