Browsing by Subject "004"

Business Process Instances Discovery from Email Logs

Jlailaty, Diana; Grigori, Daniela; Belhajjame, Khalid (2017) Communication / Conférence

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets

Haddad, Serge; Poitrenaud, Denis (2001) Communication / Conférence

Client Synthesis for Web Services by way of a Timed Semantics

Haddad, Serge; Moreaux, Patrice; Rampacek, Sylvain (2006) Communication / Conférence

Cluster Monitoring Platform Based on Self Adaptable Probes

Bonnaire, Xavier; Boutrous Saab, Céline (2000) Communication / Conférence

Coalition Formation Model For Multi-Agents Systems With Incomplete Information

Arib, Souhila; Aknine, Souhila; Genin, Thomas (2012) Communication / Conférence

Combining Different Failure Detectors for Solving a Large-Scale Consensus Problem

Haddad, Serge; Nguilla, François (1999) Communication / Conférence

Community Profiling for Crowdsourcing Queries

Belhajjame, Khalid; Brambilla, Marco; Grigori, Daniela; Mauri, Andrea (2014) Rapport

Comparison of Different Semantics for Time Petri Nets

Roux, Olivier-Henri; Lime, Didier; Haddad, Serge; Cassez, Franck; Bérard, Béatrice (2005) Communication / Conférence

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

Roux, Olivier-Henri; Bérard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier (2005) Communication / Conférence

Completely independent spanning trees for enhancing the robustness in ad-hoc Networks

Moinet, Axel; Darties, Benoit; Gastineau, Nicolas; Baril, Jean-Luc; Togni, Olivier (2017) Communication / Conférence

Composition de services Web et équité vis-à-vis des utilisateurs finaux

El Haddad, Joyce; Spanjaard, Olivier (2009) Communication / Conférence

Conflict Sets in Coloured Petri nets

Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence

Connaissance inter-entreprises et optimisation combinatoire

Ould Mohamed Lemine, Mohamed (2014-06) Thèse

Connecting ROS and FIWARE: Concepts and Tutorial

Limosani, Raffaele; Manzi, Alessandro; Fiorini, Laura; Dario, Paolo; Cavallo, Filippo Chapitre d'ouvrage

A consensus protocol for wide area networks

El Fallah Seghrouchni, Amal; Haddad, Serge; Nguilla, François (1998) Communication / Conférence

Construction Automatique d'Applications Internet Complexes

El Haddad, Joyce; Manouvrier, Maude; Rukoz, Marta (2019) Chapitre d'ouvrage

Construction d’une ontologie multi-échelles et multicritères - Application à un système de production et de stabilisation de cellules microbiennes

Doriot, Estelle; Bellosta, Marie-Jo; Dibie-Barthelemy, Juliette; Ibanescu, Mariana; Pénicaud, Caroline; Soler, Lydie (2014) Communication / Conférence