Sciweavers

3825 search results - page 230 / 765
» The Language of Time: A Reader
Sort
View
IPL
2008
99views more  IPL 2008»
15 years 6 months ago
A CKY parser for picture grammars
We study the complexity of the membership or parsing problem for pictures generated by a family of picture grammars: Siromoney's Context-Free Kolam Array grammars (coincident...
Stefano Crespi-Reghizzi, Matteo Pradella
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
HASKELL
2009
ACM
16 years 1 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
EDBTW
2006
Springer
15 years 10 months ago
ActiveXQBE: A Visual Paradigm for Triggers over XML Data
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
Daniele Braga, Alessandro Campi, Davide Martinengh...
SAC
2008
ACM
15 years 6 months ago
Embedding SPARQL into XQuery/XSLT
The tree-based languages XQuery and XSLT for XML are widely supported. Many tools do not yet support the new RDF graph query language SPARQL. We propose to embed SPARQL subqueries...
Sven Groppe, Jinghua Groppe, Volker Linnemann, Dir...