Search - Archive ouverte HAL Access content directly

Filter your results

38 Results
Image document

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP

Fabienne Boyer , Olivier Gruber , Gwen Salaün
17th International Symposium on Formal Methods (FM'11), Jun 2011, Limerick, Ireland. pp.103-117, ⟨10.1007/978-3-642-21437-0_10⟩
Conference papers hal-00648909v1

Self-Adapting QoS in Java Enterprise Edition

Fabienne Boyer , Jeremy Philippe , Noel de Palma , Olivier Gruber
Middleware, Dec 2009, Urbana Champaign, Illinois, United States
Conference papers hal-00941403v1

Improving the performances of JMS-based applications

Christophe Taton , Noel de Palma , Sara Bouchenak , Daniel Hagimont
International Journal of Autonomic Computing, 2009, 1 (1), pp.81-102. ⟨10.1504/IJAC.2009.024501⟩
Journal articles hal-00949564v1

Auto-adaptation du niveau de service dans les systèmes distribués

Jeremy Philippe , Noel de Palma , Fabienne Boyer , Olivier Gruber
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, Revue des sciences et technologies de l'information, 29 (3), pp.261-288. ⟨10.3166/tsi.29.261-288⟩
Journal articles istex hal-00949565v1

Self-adapting Service Level in Java Enterprise Edition

Jeremy Philippe , Noel de Palma , Fabienne Boyer , Olivier Gruber
Middleware 2009, Nov 2009, Urbana, IL, United States. pp.143-162, ⟨10.1007/978-3-642-10445-9_8⟩
Conference papers hal-00949568v1

All about Eve: Execute-Verify Replication for Multi-Core Servers

Manos Kapritsos , Yang Wang , Vivien Quema , Allen Clement , Lorenzo Alvisi et al.
OSDI - Symposium on Operating Systems Design and Implementation, Oct 2012, Hollywood, United States
Conference papers hal-00945738v1

A Dynamic and Service-oriented Component Model for Python Long-lived Applications

Thomas Calmant , João Claudio Américo , Olivier Gattaz , Didier Donsez , Kiev Gama et al.
15th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), Vincenzo Grassi, Raffaela Mirandola, Jun 2012, Bertinoro, Italy. pp.35--40, ⟨10.1145/2304736.2304744⟩
Conference papers hal-00945230v1

Towards a monitoring system for High Altitude Objects

Sebastien Jean , Kiev Gama , Didier Donsez , André Lagreze
International Conference On Mobile Technology, Applications, And Systems, 2009, Nice, France. 8p, ⟨10.1145/1710035.1710046⟩
Conference papers hal-00485147v1