Browsing by Subject "004"
Now showing items 21-40 of 257
-
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 -
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 -
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 -
Correlation-Based Pre-Filtering for Context-Aware Recommendation
(2018) Communication / Conférence -
Covering Clients with Types and Budgets
(2018) Communication / Conférence -
CSLTA: an Expressive Logic for Continuous-Time Markov Chains
(2007) Communication / Conférence -
Data Driven Language for Agents Secure Interaction
(2010) Communication / Conférence -
Decentralization of 5G slice resource allocation
(2020) Communication / Conférence