986 search results - page 179 / 198 » Simulation Modeling of Weak-Consistency Protocols |
ANSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
MSWIM
2009
ACM
14 years 2 months ago
2009
ACM
The unlicensed 60 GHz band brings the promise of multi-gigabit data rates to support new applications such as high definition video over wireless links. Signal propagation in the...
INFOCOM
2003
IEEE
14 years 27 days ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
MOVEP
2000
13 years 11 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
GRID
2007
Springer
13 years 7 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...