Sciweavers

1285 search results - page 213 / 257
» Description Logic Reasoner: System Description
Sort
View
EDOC
2007
IEEE
15 years 5 months ago
A Tool for Enterprise Architecture Analysis
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
Pontus Johnson, Erik Johansson, Teodor Sommestad, ...
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 5 months ago
Ontology-Based Composition and Transformation for Model-Driven Service Architecture
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
Claus Pahl
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...
ICSE
1995
IEEE-ACM
15 years 5 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
FLAIRS
2007
15 years 3 months ago
Accessing XML Documents Using Semantic Meta Data in a P2P Environment
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
Dominic Battré, Felix Heine, André H...