206 search results - page 20 / 42 » Deterministic Caterpillar Expressions |
ENTCS
2010
13 years 10 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ENTCS
2008
13 years 10 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
SEMWEB
2005
Springer
14 years 3 months ago
2005
Springer
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
SSS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation...
DLOG
2007
14 years 5 days ago
2007
Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...