14360 search results - page 292 / 2872 » Time Modeling in MARTE |
126
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
103
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
101
click to vote
GRID
2008
Springer
15 years 4 days ago
2008
Springer
The existence of good probabilistic models for the job arrival process and the delay components introduced at different stages of job processing in a Grid environment is important ...
97
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
202
click to vote
POPL
2006
ACM
16 years 28 days ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...