Learn More
One of the classical methods to study the performance of networking protocols and algorithms is to use simulation tools like OPNET, NS-2, OMNet++, ...etc. An alternative to simulation tools is to use formal modeling techniques. The advantage of using formal modeling techniques over simulation tools is that the user can do both performance evaluation and(More)
Modelling becomes more and more important in computer science. Recent systems which are in general composed of several resources of different nature involved in sharing tasks sent by users need high level models to be studied. In theses complex systems with several interactions, load balancing between the servers which process the requests is necessary if(More)
  • 1