981 search results - page 44 / 197 » A Performance Analysis of the iSCSI Protocol |
171
click to vote
ICPADS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper is focused on the performance analysis, comparison and optimization of the most important distributed object models for Java: RMI (Remote Method Invocation) and RMI-IIO...
171
click to vote
GLOBECOM
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...
231
Voted
FOSAD
2009
Springer
16 years 18 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
191
Voted
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
134
click to vote
SRDS
2006
IEEE
16 years 21 hour ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...