1831 search results - page 147 / 367 » Time Constraints in Workflow Systems |
120
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
145
click to vote
IJACTAICIT
2010
14 years 10 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...
116
click to vote
IJFCS
2006
15 years 4 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
146
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
135
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...