Sciweavers

6016 search results - page 34 / 1204
» The semantics of graphical languages
Sort
View
PPSWR
2005
Springer
15 years 9 months ago
A Revised Architecture for Semantic Web Reasoning
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
Peter F. Patel-Schneider
ECRTS
2005
IEEE
15 years 9 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
COORDINATION
2006
Springer
15 years 7 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
SAMOS
2004
Springer
15 years 9 months ago
DIF: An Interchange Format for Dataflow-Based Design Tools
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
Chia-Jui Hsu, Fuat Keceli, Ming-Yung Ko, Shahrooz ...
WWW
2001
ACM
16 years 4 months ago
Visual SQL-X: A Graphical Tool for Producing XML Documents from Relational Databases
The Visual SQL-X system is presented to generate arbitrarily complex XML documents from a graphical query on a relational database. The query describes the structure of the result...
Renzo Orsini, Massimo Pagotto