Sciweavers

713 search results - page 59 / 143
» Viewcharts: Syntax and Semantics
Sort
View
CN
1999
115views more  CN 1999»
15 years 3 months ago
XML-GL: A Graphical Language for Querying and Restructuring XML Documents
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
Stefano Ceri, Sara Comai, Ernesto Damiani, Piero F...
INFORMATICALT
1998
145views more  INFORMATICALT 1998»
15 years 3 months ago
Design of Reusable VHDL Component Using External Functions
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...
Vytautas Stuikys
JELIA
2010
Springer
15 years 2 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
JOLLI
2010
107views more  JOLLI 2010»
15 years 2 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
15 years 2 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen