3534 search results - page 264 / 707 » On Structural Analysis of Large Networks |
187
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
159
click to vote
CN
2006
15 years 6 months ago
2006
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
156
click to vote
IJNSEC
2006
15 years 6 months ago
2006
Cluster systems have been gradually more popular and are being broadly used in a variety of applications. On the other hand, many of those systems are not tolerant to system failu...
148
click to vote
OOPSLA
2005
Springer
16 years 1 hour ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
180
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we propose a game theoretical approach to tackle the problem of the distributed formation of the uplink tree structure among the relay stations (RSs) and their s...