2470 search results - page 108 / 494 » Liveness-Preserving Simulation Relations |
105
click to vote
AP2PC
2005
Springer
15 years 2 months ago
2005
Springer
Since there is no method to verify the trustworthiness of shared files in P2P file sharing systems, malicious peers can spread untrustworthy files to the system. In order to pre...
118
click to vote
CDVE
2008
Springer
15 years 2 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...
106
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
96
Voted
NETWORKING
2004
15 years 2 months ago
2004
This paper presents an analytical methodology to obtain steady state throughput of a uniformly and fully loaded regular network. The network operates using deflection routing under...
96
Voted
WSC
2004
15 years 2 months ago
2004
We develop an efficient Monte Carlo algorithm for pricing barrier options with the variance gamma model (Madan, Carr, and Chang 1998). After generalizing the double-gamma bridge s...