13841 search results - page 2345 / 2769 » Algorithms and Constraint Programming |
196
click to vote
ADBIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
153
click to vote
FMCAD
2004
Springer
16 years 6 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
161
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
186
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
273
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...