-
Recommendation And Visualization Techniques For large Scale Data
We have witnessed the rapid development of the information technology during the last decade. On one side, processing and stocking capacity of digital devices is... -
Contributions for the Security in Mobile Ad hoc Networks (MANETs)
The thesis focuses on security in Mobile Ad hoc Networks (MANETs) [RFC 2501]. The lack of any central management of the network functions make MANETs more vulnerable... -
Clustering auto-stabilisant à k sauts dans les réseaux Ad Hoc
International audience -
Usage-based ranking of services and data
The emergence of peer-to-peer systems and the possibility to use web services to perform computations and to exchange data lead to large-scale integration systems... -
Formal Verification of Distributed Algorithms using PlusCal-2
Designing sound algorithms for concurrent and distributed systems is subtle and challenging. These systems are prone to deadlocks and race conditions, which occur in...
