1362 search results - page 157 / 273 » Model Checking Large Network Protocol Implementations |
129
click to vote
ACISICIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Reliable storage of large amounts of data is always a delicate issue. Availability, efficiency, data integrity, and confidentiality are some features a data backup system should...
136
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The importance of communication, information sharing and interoperability in an emergency response scenario have risen recently based on the frequency of disasters throughout the ...
127
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Our research addresses the efficient transfer of large data across wide-area networks, focusing on applications like remote visualization and real-time collaboration. To attain h...
119
click to vote
WSC
2007
15 years 5 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...
118
click to vote
CCR
2006
15 years 3 months ago
2006
Releasing network measurement data--including packet traces-to the research community is a virtuous activity that promotes solid research. However, in practice, releasing anonymiz...