Sciweavers

3653 search results - page 197 / 731
» On Recognizable Timed Languages
Sort
View
HASKELL
2009
ACM
15 years 12 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 9 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...
156
Voted
SAC
2008
ACM
15 years 4 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...
GPCE
2007
Springer
15 years 11 months ago
Aspects of availability
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
Pascal Fradet, Stéphane Hong Tuan Ha
PPDP
2010
Springer
15 years 3 months ago
Graph queries through datalog optimizations
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...