3316 search results - page 544 / 664 » Mining Software Engineering Data |
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
SEKE
2007
Springer
15 years 4 months ago
2007
Springer
XML diff algorithms proposed in the literature have focused on the structural analysis of the document. When XML is used for data exchange, or when different versions of a documen...
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
SEW
2005
IEEE
15 years 3 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
VLSI
2005
Springer
15 years 3 months ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...