-
Les traversées nocturnes
Le géographe présente différents protocoles d'exploration urbaines en immersion et leurs résultats. Ces expérimentations sensibles de la ville prennent la forme de... -
Towards the distribution control of manufacturing systems : a component-based...
Manufacturing systems belong to the class of distributed discrete event systems. Their size requires distributing the software to control them on architecture of... -
Architecture d'un frontal en environnement téléinformatique : application au ...
Cette thèse traduit un premier aboutissement de 3 armées d'études et de réalisations dans le domaine de la télé-informatique en général et du réseau d'ordinateurs... -
Geographic routing in sensor and actuator networks
This thesis is about wireless multi-hop networks such as wireless sensors networks or hybrid sensor/actuator networks and actuator networks. Those kinds of networks... -
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.... -
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. -
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
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.
