Browsing by Subject "004"
Now showing items 21-40 of 271
-
Business Process Instances Discovery from Email Logs
(2017) Communication / Conférence -
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
(2001) Communication / Conférence -
Client Synthesis for Web Services by way of a Timed Semantics
(2006) Communication / Conférence -
Cluster Monitoring Platform Based on Self Adaptable Probes
(2000) Communication / Conférence -
Coalition Formation Model For Multi-Agents Systems With Incomplete Information
(2012) Communication / Conférence -
Combining Different Failure Detectors for Solving a Large-Scale Consensus Problem
(1999) Communication / Conférence -
Community Profiling for Crowdsourcing Queries
(2014) Rapport -
Comparison of Different Semantics for Time Petri Nets
(2005) Communication / Conférence -
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
(2005) Communication / Conférence -
Completely independent spanning trees for enhancing the robustness in ad-hoc Networks
(2017) Communication / Conférence -
Composition de services Web et équité vis-à-vis des utilisateurs finaux
(2009) Communication / Conférence -
Conflict Sets in Coloured Petri nets
(1993) Communication / Conférence -
Connaissance inter-entreprises et optimisation combinatoire
(2014-06) Thèse -
Connecting ROS and FIWARE: Concepts and Tutorial
Chapitre d'ouvrage -
A consensus protocol for wide area networks
(1998) Communication / Conférence -
Construction Automatique d'Applications Internet Complexes
(2019) Chapitre d'ouvrage -
Context-based transactional service selection approach for service composition?
(2010) Document de travail / Working paper -
Continuous Petri Nets: Expressive Power and Decidability Issues
(2007) Communication / Conférence -
Contrasting effects of information sharing on common-pool resource extraction behavior: experimental findings
(2020) Article accepté pour publication ou publié