3271 search results - page 481 / 655 » Controlled Multicast Framework |
110
Voted
AAAI
2008
15 years 4 months ago
2008
In this paper, we set up a framework to study approximation of manipulation, control, and bribery in elections. We show existence of approximation algorithms (even fully polynomia...
112
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
107
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
The Quantified Constraint Satisfaction Problem (QCSP) has been introduced to express situations in which we are not able to control the value of some of the variables (the universa...
135
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
124
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...