234
click to vote
MFCS
16 years 1 months ago
2004 Springer 
Abstract. Bidimensionality provides a tool for developing subexponential fixed-parameter algorithms for combinatorial optimization problems on graph families that exclude a minor....
233
click to vote
MFCS
16 years 1 months ago
2004 Springer 
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
224
click to vote
MFCS
16 years 1 months ago
2004 Springer 
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
215
click to vote
MFCS
16 years 1 months ago
2004 Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
214
click to vote
MFCS
16 years 1 months ago
2004 Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
|
Theoretical Computer Science