986 search results - page 29 / 198 » Simulation Modeling of Weak-Consistency Protocols |
COOP
2004
13 years 10 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
ANSS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
ANSS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...
LCN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
ICN
2007
Springer
14 years 3 months ago
2007
Springer
— Multi-hop wireless ad-hoc networks are drawing more and more attention from both academic and industrial research. The lack of infrastructure makes those networks easy to deplo...