11328 search results - page 402 / 2266 » Timed Branching Processes |
122
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
173
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
147
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
We consider the following fundamental scheduling problem. The input consists of n jobs to be scheduled on a set of machines of bounded capacities. Each job is associated with a re...
252
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
We study similarity queries for time series data where similarity is defined in terms of a set of linear transformations on the Fourier series representation of a sequence. We hav...
148
click to vote
CICLING
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...