5015 search results - page 454 / 1003 » Model Checking a Path |
139
click to vote
FOCS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we analyze the behavior of communication networks in which packets are generated dynamically at the nodes and routed in discrete time steps across the edges. We foc...
150
click to vote
WSC
2008
15 years 9 months ago
2008
A tenure-track appointment is a wonderful thing, but it really should come with an instruction manual. This article is a loosely-coupled collection of thoughts and advice on survi...
157
click to vote
WSC
2004
15 years 8 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...
204
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
167
click to vote
BROADNETS
2006
IEEE
16 years 26 days ago
2006
IEEE
: With the increase of the number of wavelengths per fiber waveband switching has been proposed to decrease the number of switching ports in optical nodes. Another concept that of ...