Sciweavers

1769 search results - page 153 / 354
» Choice in Dynamic Linking
Sort
View
ICALP
2005
Springer
15 years 10 months ago
Spatial Logics for Bigraphs
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...
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
135
Voted
ICOIN
2004
Springer
15 years 10 months ago
A Transport Layer Mobility Support Mechanism
Recently, mobile SCTP (mSCTP) has been proposed as a transport layer approach for supporting mobility. mSCTP is based on the ’multi-homing’ feature of Stream Control Transmissi...
Moonjeong Chang, Meejeong Lee, Seokjoo Koh
FOCS
2002
IEEE
15 years 10 months ago
Minimizing Congestion in General Networks
A principle task in parallel and distributed systems is to reduce the communication load in the interconnection network, as this is usually the major bottleneck for the performanc...
Harald Räcke
ICECCS
2002
IEEE
93views Hardware» more  ICECCS 2002»
15 years 10 months ago
Mnemosyne: Designing and Implementing Network Short-Term Memory
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
Giovanni Vigna, Andrew Mitchel
SPAA
1997
ACM
15 years 9 months ago
System Area Network Mapping
: This paper presents a network mapping algorithm and proves its correctness assuming a traffic-free network. Respecting well-defined parameters, the algorithm produces a graph iso...
Brent N. Chun, Alan M. Mainwaring, Saul Schleimer,...