Sciweavers

2482 search results - page 383 / 497
» A Visual Language for XML
Sort
View
ISPDC
2003
IEEE
14 years 2 months ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
DIAGRAMS
2000
Springer
14 years 1 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
14 years 1 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»
14 years 1 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»
14 years 16 days 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