7557 search results - page 486 / 1512 » Modeling Timed Concurrent Systems |
199
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
162
click to vote
SIGMETRICS
2004
ACM
16 years 10 days ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
174
click to vote
CN
2006
15 years 7 months ago
2006
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
181
click to vote
INFOCOM
2002
IEEE
15 years 12 months ago
2002
IEEE
-- We consider power and server allocation in a multi-beam satellite downlink which transmits data to N different ground locations over N time-varying channels. Packets destined fo...
153
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...