4839 search results - page 113 / 968 » A survey of computational complexity results in systems and ... |
113
click to vote
ICAC
2005
IEEE
15 years 7 months ago
2005
IEEE
FeedbackFlow is a framework that implements a general closed control loop of planning – execution result validation – re-planning, and generates workflows. In this article, we...
153
Voted
IWPEC
2010
Springer
14 years 11 months ago
2010
Springer
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swa...
116
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
An investigation into capturing the relation of physiology, beyond heart rate recording, to expressed preferences of entertainment in children’s physical gameplay is presented in...
112
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
125
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...