Sciweavers

18493 search results - page 368 / 3699
» Timers for Distributed Systems
Sort
View
158
Voted
TSE
2002
125views more  TSE 2002»
15 years 5 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
MAM
2007
143views more  MAM 2007»
15 years 5 months ago
A distributed admission control system for MANET environments supporting multipath routing protocols
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
Carlos Miguel Tavares Calafate, José Oliver...