Sciweavers

1604 search results - page 4 / 321
» A Logical Viewpoint on Architectures
Sort
View
123
Voted
TABLEAUX
2000
Springer
15 years 1 months ago
Benchmark Analysis with FaCT
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
Ian Horrocks
EDOC
2003
IEEE
15 years 2 months ago
An Approach to Relate Viewpoints and Modeling Languages
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...
CAMP
2005
IEEE
15 years 3 months ago
Implementing a Real-time Free-Viewpoint Video System on a PC-Cluster
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...
Megumu Ueda, Daisaku Arita, Rin-ichiro Taniguchi
CBSE
2004
Springer
15 years 1 months ago
Viewpoints for Specifying Component-Based Systems
There is a conceptual gap between the way we currently articulate requirements and the reuse-driven paradigm embodied in component-based system development. The principal challenge...
Gerald Kotonya, John Hutchinson
102
Voted
EDOC
2004
IEEE
15 years 1 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo