Sciweavers

1594 search results - page 117 / 319
» An Algorithm to Compute Collusion Paths
Sort
View
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 8 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
ICDCS
2009
IEEE
15 years 1 months ago
Selective Protection: A Cost-Efficient Backup Scheme for Link State Routing
In recent years, there are substantial demands to reduce packet loss in the Internet. Among the schemes proposed, finding backup paths in advance is considered to be an effective ...
Meijia Hou, Dan Wang, Mingwei Xu, Jiahai Yang
HOTI
2008
IEEE
15 years 9 months ago
High-Speed, Short-Latency Multipath Ethernet Transport for Interconnections
In this paper, we propose an Ethernet-based transmission-guaranteed, congestion-controlled network using a simplified multi-path aggregation scheme. Multi-path aggregation increas...
Nobuyuki Enomoto, Hideyuki Shimonishi, Junichi Hig...
120
Voted
GD
2007
Springer
15 years 9 months ago
Line Crossing Minimization on Metro Maps
We consider the problem of drawing a set of simple paths along the edges of an embedded underlying graph G = (V, E), so that the total number of crossings among pairs of paths is m...
Michael A. Bekos, Michael Kaufmann, Katerina Potik...
ICDCSW
2005
IEEE
15 years 8 months ago
Bandwidth Clustering for Reliable and Prioritized Network Routing Using Split Agent-Based Method
Recent researches have highlighted the importance of developing a network with distributed problem solving abilities thus enhancing reliability with equal share of network resourc...
Constandinos X. Mavromoustakis, Helen D. Karatza