Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

21 résultats
Page :
triés par

Contribution des Réseaux de Petri de Haut Niveau pour l'Etude des Protocoles

 Serge Haddad , Jean-Michel Ilié , Mohamed Taghelit , Claude Dutheillet , Patrice Moreaux
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (6), pp.701-723
Article dans une revue hal-01199460v1

Client-Oriented Preferences Model for QoS Aggregation in Service-Based Applications

 Nabil Fakhfakh , Frédéric Pourraz , Hervé́ Verjus , Patrice Moreaux
E-Business and Telecommunications, Springer Berlin Heidelberg, pp.141-155, 2012, Communications in Computer and Information Science, 978-3-642-35754-1. ⟨10.1007/978-3-642-35755-8_11⟩
Chapitre d'ouvrage hal-00772730v1

Modèle logique avancé - version V1

 Tatiana Aubonnet , Eric Madelaine , Ludovic Henrio , Thomas Ledoux , Yousri Kouki , et al.
[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013
Rapport hal-01126329v1
Image document

Modélisation et caractérisation expérimentale d'un échangeur à plaque d'une VMC

 Madi Kaboré , Louis Stephan , Patrice Moreaux , Étienne Wurtz
AUGC et IBPSA 2012, Jun 2012, Chambéry, France
Communication dans un congrès hal-01233348v1
Image document

Integrating OPC data into GSN infrastructures

 Eric Benoit , Marc Philippe Huget , Patrice Moreaux , Olivier Passalacqua
2007
Autre publication scientifique hal-00211831v1
Image document

INTEGRATING OPC DATA INTO GSN INFRASTRUCTURES

 Olivier Passalacqua , Eric Benoit , Marc-Philippe Huget , Patrice Moreaux
IADIS International Conference APPLIED COMPUTING 2008, Apr 2008, Algarve, Portugal
Communication dans un congrès hal-00308566v1

An Integrated Framework for Web Services Orchestration

 Saab C. Boutrous , Demba Coulibaly , Serge Haddad , Tarek Melliti , Patrice Moreaux , et al.
International Journal of Web Services Research, 2009, 6 (4), pp.1--29. ⟨10.4018/jwsr.2009071301⟩
Article dans une revue hal-00441818v1

Systèmes logiciels de fusion d'informations adaptatifs

 Hervé Verjus , Sorana Cimpan , Ilham Alloui , Frédéric Pourraz , Patrice Moreaux
Journées sur l'Ingénierie Dirigée par les Modèles - IDM 2010, Mar 2010, Pau, France
Communication dans un congrès hal-00561211v1

Measuring The Satisfaction Degree Of Quality Attributes Requirements For Services Orchestrations

 Nabil Fakhfakh , Hervé Verjus , Frédéric Pourraz , Patrice Moreaux
Fourth International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2011), Apr 2011, Budapest, Hungary. pp.89-94
Communication dans un congrès hal-00621309v1
Image document

Video conference smart room: an information fusion system based on distributed sensors

 Khairunizam Wan , Atsushi Todo , Hideyuki Sawada , Olivier Passalacqua , Eric Benoit , et al.
Mechatronics2008, May 2008, Le Grand-Bornand, France
Communication dans un congrès hal-00308562v1

Verification of probabilistic systems - Methods and tools

 Serge Haddad , Patrice Moreaux
S. Merz and N. Navet. Modeling and Verification of Real-Time Systems, ISTE - John Wiley & Sons, pp.289-318, 2008
Chapitre d'ouvrage hal-00329562v1

Stochastic Well-formed Petri Nets

 Serge Haddad , Patrice Moreaux
M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.303-320, 2009
Chapitre d'ouvrage hal-00441928v1

Architectures orientées services pour les systèmes d'information d'entreprises agiles

 Nabil Fakhfakh , Hervé Verjus , Frédéric Pourraz , Patrice Moreaux
Atelier SIRE (Systèmes d'Information des oRganisations Étendues) associé à la conférence INFORSID 2010, May 2010, Marseille, France
Communication dans un congrès hal-00561206v1

Introduction of Self Optimization Features in a Selfbenchmarking Architecture

 El Hachemi Bendahmane , Bruno Dillenseger , Patrice Moreaux
The Seventh International Conference on Autonomic and Autonomous Systems (ICAS 2011), May 2011, Venice, Italy. pp.37-42
Communication dans un congrès hal-00621770v1

Tensor Methods and Stochastic Petri Nets

 Serge Haddad , Patrice Moreaux
M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.321-346, 2009
Chapitre d'ouvrage hal-00442015v1

Stochastic Petri Nets

 Serge Haddad , Patrice Moreaux
M. Diaz. Petri Nets: Fundamental Models, Verification and Applications, Wiley-ISTE, pp.269-302, 2009
Chapitre d'ouvrage hal-00441922v1
Image document

Structured Performance Analysis for Component Based Systems

 N. Salmi , Patrice Moreaux , M. Ioualalen
International Journal of Critical Computer-Based Systems, 2012, 3 (1-2), pp.96-131. ⟨10.1504/IJCCBS.2012.045078⟩
Article dans une revue hal-00713520v1

QoS aggregation for service orchestrations based on workflow pattern rules and MCDM method: evaluation at design time and runtime

 Nabil Fakhfakh , Hervé́ Verjus , Frédéric Pourraz , Patrice Moreaux
Service Oriented Computing and Applications, 2013, 7 (1), pp. 15-31. ⟨10.1007/s11761-012-0124-0⟩
Article dans une revue hal-00755071v1
Image document

Reconfiguration of Distributed Information Fusion System – A case study

 Eric Benoit , Marc-Philippe Huget , Patrice Moreaux , Olivier Passalacqua
Workshop on Dependable Control of Discrete Systems, Jun 2009, Bari, Italy. pp.309-314
Communication dans un congrès hal-00398602v1

An Effective Approach for Home Services Management

 Patrice Moreaux , Fabien Sartor , Flavien Vernier
Parallel, Distributed and Network-Based Processing (PDP), 2012 20th Euromicro International Conference on, Feb 2012, Garching, Germany. pp.47-51, ⟨10.1109/PDP.2012.45⟩
Communication dans un congrès hal-00994913v1

PSLA: a PaaS Level SLA Description Language

 Ge Li , Frédéric Pourraz , Patrice Moreaux
IEEE 3rd Int. Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014), Mar 2014, Boston, United States. ⟨10.1109/IC2E.2014.29⟩
Communication dans un congrès hal-01002672v1
Page :