7274 search results - page 1183 / 1455 » Abstractions for network update |
209
click to vote
MASCOTS
2003
15 years 8 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
208
click to vote
ESM
1998
15 years 8 months ago
1998
Bandwidth consumption in distributed real-time simulation, or networked real-time simulation, is a major problem as the number of participants and the sophistication of joint simu...
172
click to vote
FORTE
1998
15 years 8 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
172
click to vote
FTCS
1998
15 years 8 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
205
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Many boundaries impede the flow of authorization information, forcing applications that span those boundaries into hop-by-hop approaches to authorization. We present a unified app...