2940 search results - page 321 / 588 » Behavioral Constraints for Services |
145
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
167
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
171
click to vote
WSCG
2003
15 years 7 months ago
2003
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...
189
click to vote
AIPS
2009
15 years 7 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
186
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...