Sciweavers

6794 search results - page 872 / 1359
» Semantics of Visual Languages
Sort
View
DIAGRAMS
2000
Springer
15 years 11 months ago
On the Completeness and Expressiveness of Spider Diagram Systems
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
John Howse, Fernando Molina, John Taylor
VISUAL
1999
Springer
15 years 11 months ago
Querying Multimedia Data Sources and Databases
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
Shi-Kuo Chang, Gennaro Costagliola, Erland Jungert
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 11 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 10 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
ICSE
2010
IEEE-ACM
15 years 9 months ago
LM: a miner for scenario-based specifications
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng K...