750 search results - page 95 / 150 » Desires, Norms and Constraints |
118
click to vote
CP
2010
Springer
14 years 12 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
109
click to vote
TSP
2010
14 years 8 months ago
2010
Abstract--The concept of cognitive radio (CR) has recently received great attention from the research community as a promising paradigm to achieve efficient use of the frequency re...
122
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
137
click to vote
SIGMETRICS
1997
ACM
15 years 6 months ago
1997
ACM
Rate based congestion control has been considered desirable, both to deal with the high bandwidth-delay products of today's high speed networks, and to match the needs of eme...
100
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...