1447 search results - page 121 / 290 » Simulating Internet Worms |
94
Voted
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
webπ is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized m...
121
Voted
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
83
Voted
KIVS
2005
Springer
15 years 7 months ago
2005
Springer
: This paper presents a new TCP-based packet pair measurement approach for network path capacity estimation. It addresses some drawbacks other approaches still bear. In contrast to...
107
click to vote
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we develop simple models to study the performance of BitTorrent, a second generation peer-to-peer (P2P) application. We first present a simple fluid model and stu...
129
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...