Sciweavers

6794 search results - page 370 / 1359
» Semantics of Visual Languages
Sort
View
CSCWD
2001
Springer
15 years 11 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
ICFP
1999
ACM
15 years 11 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
ER
2008
Springer
128views Database» more  ER 2008»
15 years 8 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
LREC
2008
125views Education» more  LREC 2008»
15 years 8 months ago
Bootstrapping Language Description: the case of Mpiemo (Bantu A, Central African Republic)
Linguists have long been producing grammatical decriptions of yet undescribed languages. This is a time-consuming process, which has already adapted to improved technology for rec...
Harald Hammarström, Christina Thornell, Malin...
NAACL
1994
15 years 8 months ago
PEGASUS: A Spoken Language Interface for On-Line Air Travel Planning I
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
Victor Zue, Stephanie Seneff, Joseph Polifroni, Mi...