1831 search results - page 107 / 367 » Time Constraints in Workflow Systems |
124
click to vote
AIPS
2011
14 years 7 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
129
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
145
click to vote
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
143
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
Using motion capture systems to animate humanlike figures still remains difficult when the movements are complex or need to be adapted to geometric constraints. We propose a new m...
119
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Violations in the timing constraints of a clocked register can cause a synchronous system to malfunction. The effects of variations in the power supply voltage (VDD) on the tim...