12032 search results - page 2042 / 2407 » Simulation of Manufacturing Systems |
148
click to vote
P2P
2006
IEEE
16 years 22 days ago
2006
IEEE
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...
166
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...
187
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
160
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
192
click to vote
RTAS
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...