1831 search results - page 211 / 367 » Time Constraints in Workflow Systems |
156
click to vote
RTCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
135
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
161
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
237
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
152
click to vote
SG
2005
Springer
15 years 10 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...