-
Link State Routing in Wireless Ad-Hoc Networks
International audience -
A formal data-centric approach for passive testing of communication protocols
International audience -
Reliability for Emergency Applications in Internet of Things
International audience -
QoS in next generation Networks
With the development of new multimedia applications, telecommunication networks should be developed to offer real QoS. Different protocols such as MPLS, IntServ and... -
Network layer agent search service based on oriented multicasting
Many protocols and applications need a discovery mechanism to enable a given client node to locate one or several specific nodes involved in the same communication.... -
Consensus with Unknown Participants in Shared Memory
International audience -
Limiting Byzantine Influence in Multihop Asynchronous Networks
International audience -
How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Ef...
This paper explores ways of performing commutative tasks by $N$ parties. Tasks are defined as {\sl commutative} if the order at which parties perform tasks can be... -
Mechanical ventilation and clinical practice heterogeneity in intensive care ...
International audience -
A Review of the Fieldbuses
Article dans revue scientifique avec comité de lecture. -
IAM distributed systems: a first analysis of timeliness properties
Rapport de contrat. -
Working Document - Project Web Site NOAH ESPRIT
Rapport de contrat. -
Fieldbuses and interoperability
Article dans revue scientifique avec comité de lecture. -
Compiling and Verifying Security Protocols
Colloque avec actes et comité de lecture. internationale. -
AllianceNet: Information Sharing, Negotiation and Decision-Making for Distrib...
Colloque avec actes et comité de lecture. internationale./http://www.springerlink.com/ -
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
Colloque avec actes et comité de lecture. internationale. -
Rule-based Programs describing Internet Security Protocols
RWTH Aachen Technical Report AIB-2004-04. Colloque avec actes et comité de lecture. Internationale. -
Strategy for Verifying Security Protocols with Unbounded Message Size
Article dans revue scientifique avec comité de lecture. internationale.
