-
Building Efficient Distributed Systems: A Domain-Specific Language Based Appr...
In recent years, many distributed systems have evolved to cope with the convergence of their domain and computer networks. As an example, Internet telephony has... -
Integrated distributed description logics
zimmermann2007a -
Extremal Optimization Applied to Task Scheduling of Distributed Java Programs
International audience -
Non-Monotonic Snapshot Isolation
Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two... -
Design and implementation of open and distributed multi-agent systems
An open multi-agent system (MAS) is an extensible and evolutive system. Extensibility means the possibility of adding new agents but also of managing their... -
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java...
International audience -
Parallel and distributed systems programming: Fault-Tolerance, resilience and...
Grid and cluster architectures are gaining in popularity for scientific computing applications. The distributed computations, as well as their underlying... -
Trust Evaluation of a System for an Activity
International audience -
Integrating the Human Phenotype Ontology into HeTOP Terminology-Ontology Server.
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Decentralizing news personalization systems
The rapid evolution of the web has changed the way information is created, distributed, evaluated and consumed. Users are now at the center of the web and becoming the... -
Anchor-Based Localization Using Distributed Interval Contractors
This paper presents a new method to solve anchor-based distributed localization problems. This method is based on a generic algorithm using interval contractors. In... -
Deploying legacy applications in cloud computing environments
Cloud computing aims to cut down on the outlay and operational expenses involved in setting up and running applications. To do this, an application is split into a set... -
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system... -
Distributed algorithms on parameterized rings - Probabilistic and determinist...
The subject of this thesis concerns verification of distributed systems. More precisely, we focus on proving convergence of distributed algorithms running on ring... -
Incentive-Based Robust Reputation Mechanism for P2P Services
International audience -
STORM: A Secure Overlay for P2P Reputation Management
International audience -
Implementability of distributed systems described with scenarios
Distributed systems lie at the heart of many modern applications (social networks, web services, etc.). However, developers face many challenges in implementing... -
Chemical Computing for Distributed Systems: Algorithms and Implementation
With the emergence of highly heterogeneous, dynamic and large distributed platforms, the need for a way to efficiently program and manage them has arisen. The concept...
