1919 search results - page 36 / 384 » Recent Extensions to Traviando |
OTM
2010
Springer
13 years 8 months ago
2010
Springer
Business process management and systems have been proven mature and highly beneficial in many domains. Recent surveys by leading market analysts say that the next challenge for BPM...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
In wireless scenarios an effective protocol to increase the reliability for time-varying channels is the hybrid automatic repeat request (H-ARQ). The H-ARQ scheme with cross-packet...
WAOA
2010
Springer
13 years 8 months ago
2010
Springer
We study flows over time in networks with transit times on the arcs. Transit times describe how long it takes to traverse an arc. A flow over time specifies for each arc a time-dep...
FMCO
2009
Springer
13 years 8 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...