8501 search results - page 1569 / 1701 » Reactive process networks |
138
click to vote
TWC
2010
14 years 11 months ago
2010
In a conventional wireless cellular system, signal processing is performed on a per-cell basis; out-of-cell interference is treated as background noise. This paper considers the be...
146
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
168
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—When users submit new queries to a distributed stream processing system (DSPS), a query planner must allocate physical resources, such as CPU cores, memory and network bandwidth...
140
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this paper, we address the problem of answering continuous route planning queries over a road network, in the presence of updates to the delay (cost) estimates of links. A si...
154
click to vote
GECCO
2011
Springer
14 years 8 months ago
2011
Springer
Novelty search is a recently proposed method for evolutionary computation designed to avoid the problem of deception, in which the fitness function guides the search process away...