3218 search results - page 168 / 644 » Timed Extensions for SDL |
146
click to vote
JCP
2007
15 years 4 months ago
2007
Abstract— The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed...
134
click to vote
SIGOPS
2008
15 years 4 months ago
2008
Several real-time Linux extensions are available nowadays. Two of those extensions that have received special attention recently are Preempt-RT and Xenomai. This paper evaluates t...
158
Voted
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
129
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Continuous SPARQL (C-SPARQL) is a new language for continuous queries over streams of RDF data. CSPARQL queries consider windows, i.e., the most recent triples of such streams, ob...
163
click to vote
IANDC
2011
14 years 12 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...