Sciweavers

626 search results - page 26 / 126
» Scheduling as Rule Composition
Sort
View
COORDINATION
2006
Springer
13 years 11 months ago
A Logical View of Choreography
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
Carlo Montangero, Laura Semini
COMBINATORICS
2006
121views more  COMBINATORICS 2006»
13 years 7 months ago
Combinatorics of Partial Derivatives
The natural forms of the Leibniz rule for the kth derivative of a product and of Fa`a di Bruno's formula for the kth derivative of a composition involve the differential oper...
Michael Hardy
EMSOFT
2006
Springer
13 years 11 months ago
Incremental schedulability analysis of hierarchical real-time components
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup ...
FLAIRS
2006
13 years 9 months ago
Incremental Propagation of Time Windows on Disjunctive Resources
Constraint-based techniques are frequently used in solving real-life scheduling problems thanks to natural modeling capabilities and strong constraint propagation techniques encod...
Roman Barták
MMS
2002
13 years 7 months ago
JINSIL: A middleware for presentation of composite multimedia objects in a distributed environment
In a distributed environment, the presentation of structured, composite multimedia information poses new challenges in dealing with variable bandwidth (BW) requirements and synchro...
Junehwa Song, Asit Dan, Dinkar Sitaram