Sciweavers

14360 search results - page 27 / 2872
» Time Modeling in MARTE
Sort
View
QUESTA
2007
88views more  QUESTA 2007»
13 years 8 months ago
On queues with service and interarrival times depending on waiting times
We consider an extension of the standard G/G/1 queue, described by the equation W D = max{0, B − A + Y W}, where P[Y = 1] = p and P[Y = −1] = 1 − p. For p = 1 this model red...
Onno J. Boxma, Maria Vlasiou
GI
2009
Springer
13 years 6 months ago
Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks
Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...
Armin Wolf
ICASSP
2011
IEEE
13 years 12 days ago
Hidden Discrete Tempo Model: A tempo-aware timing model for audio-to-score alignment
In this paper, we present the Hidden Discrete Tempo Model, an effective Dynamic Bayesian Network for audio to score matching. Its main feature is an explicit modeling of tempo, wh...
Cyril Joder, Slim Essid, Gaël Richard
ENTCS
2010
84views more  ENTCS 2010»
13 years 8 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...
IAJIT
2010
95views more  IAJIT 2010»
13 years 7 months ago
Modelling of Updating Moving Object Database Using Timed Petri Net Model
: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...
Hatem Abdul-Kader, Warda El-Kholy