4767 search results - page 685 / 954 » Structures for Abstract Rewriting |
120
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
106
Voted
SASO
2008
IEEE
15 years 7 months ago
2008
IEEE
The use of floating car data is an interesting method to monitor traffic. Vehicles act as local traffic sensors and data from individual vehicles is aggregated into higher-leve...
105
click to vote
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
137
click to vote
WCNC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—This paper considers power and bandwidth allocation to maximize the end-to-end rate in a multihop wireless network. Assuming an orthogonal frequency division multiplexin...
93
Voted
CCGRID
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Effective scheduling is critical for the performance of an application launched onto the Grid environment [11], [12]. Finding effective scheduling algorithms for this...