2419 search results - page 226 / 484 » Modeling Spatio-temporal Network Computations: A Summary of ... |
192
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen an increasing interest in end-to-end available bandwidth estimation. A number of estimation techniques and tools have been developed during the last few year...
157
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
193
click to vote
TMC
2011
15 years 1 months ago
2011
We consider the problem of optimal channel access to provide quality of service (QoS) for data transmission in cognitive vehicular networks. In such a network the vehicular nodes ...
169
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
175
click to vote
ISPAN
1999
IEEE
15 years 11 months ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...