Sciweavers

720 search results - page 84 / 144
» Visualization of Description Logic Models
Sort
View
VISUALIZATION
1992
IEEE
14 years 1 days ago
Display of Scientific Data Structures for Algorithm Visualization
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
William L. Hibbard, Charles R. Dyer, Brian E. Paul
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 1 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
WETICE
1995
IEEE
13 years 11 months ago
An Ontology of Quality for Enterprise Modelling
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
Henry M. Kim, Mark S. Fox, Michael Grüninger
ER
2007
Springer
100views Database» more  ER 2007»
14 years 2 months ago
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
Mehrdad Salehi, Yvan Bédard, Mir Abolfazl M...
FLAIRS
2007
13 years 10 months ago
Probabilistic Interactive Installations
We present a description of two small audio/visual immersive installations. The main framework is an interactive structure that enables multiple participants to generate jazz impr...
Constance G. Baltera, Sara B. Smith, Judy A. Frank...