Sciweavers

1831 search results - page 47 / 367
» Time Constraints in Workflow Systems
Sort
View
DEDS
2007
84views more  DEDS 2007»
13 years 10 months ago
Just in Time Control of Constrained ( max , +)-Linear Systems
This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...
Laurent Houssin, Sébastien Lahaye, Jean-Lou...
CODES
2010
IEEE
13 years 8 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
RTAS
2009
IEEE
14 years 4 months ago
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Hui...
TMC
2012
12 years 9 days ago
Relay-Assisted Transmission with Fairness Constraint for Cellular Networks
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
Erwu Liu, Qinqing Zhang, Kin K. Leung
ENTCS
2010
84views more  ENTCS 2010»
13 years 10 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...