1083 search results - page 85 / 217 » Linking Shared Segments |
146
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
161
click to vote
ICNP
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a new algorithm for dynamic routing of bandwidth guaranteed multicast tunnels with failure backup. The multicast routing problem arises in many contexts such a...
120
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
One protocol (called the primary protocol) is independent of other protocols (jointly called the secondary protocol) if the question whether the primary protocol achieves a securi...
128
click to vote
ERSHOV
1999
Springer
15 years 9 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
153
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- Elastic applications are primarily interested in minimal delay achievable for their messages under current network load. In this paper, we investigate how to transmit su...