Search - Archive ouverte HAL Access content directly

Filter your results

179 Results
Deposit type : Notice

Accountability for Cloud and Other Future Internet Services

Siani Pearson , Vasilis Tountopoulos , Daniele Catteddu , Mario Südholt , Refik Molva et al.
2013
Other publications hal-00778369v1

Essential AOP: The A Calculus

Bruno de Fraine , Erik Ernst , Mario Südholt
ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, ⟨10.1145/2362389.2362391⟩
Journal articles hal-00676082v1

Managing Virtual Resources: Fly through the Sky

Jérôme Gallard , Adrien Lebre
ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
Journal articles inria-00536994v1

Aspect Preserving Properties

Simplice Djoko Djoko , Rémi Douence , Pascal Fradet
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩
Conference papers inria-00418836v1

Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems

Flavien Quesnel , Adrien Lebre
6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. pp.457-466
Conference papers hal-00622862v1

Self-management of cloud applications and infrastructure for energy optimization

Frederico Alvares de Oliveira Jr. , Thomas Ledoux
Operating Systems Review, 2012, 46 (2)
Journal articles hal-00710695v1

Cross-Document Dependency Analysis for System-of-System Integration

Asad Syed Ali Naqvi , Ruzanna Chitchyan , Steffen Zschaler , Awais Rashid , Mario Südholt et al.
15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. pp.0
Conference papers hal-00470429v1

Compositional Reasoning About Aspect Interference

Ismael Figueroa , Tom Schrijvers , Nicolas Tabareau , Éric Tanter
13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Conference papers hal-00919935v1

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

Omar Chebaro , Pascal Cuoq , Nikolai Kosmatov , Bruno Marre , Anne Pacalet et al.
Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Journal articles hal-00818147v1

A Taxonomy of Domain-Specific Aspect Languages

Johan Fabry , Tom Dinkelaker , Jacques Noyé , Éric Tanter
ACM Computing Surveys, 2015, 47 (3), pp.44. ⟨10.1145/2685028⟩
Journal articles hal-01085063v1

SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs

Alexandre Garnier , Jean-Marc Menaud , Rémy Pottier
Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Conference papers hal-01154240v1

Flexible Pointcut Implementation: An Interpreted Approach

Ali Assaf , Jacques Noyé
Langages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
Conference papers inria-00460796v1

Wild omega-Categories for the Homotopy Hypothesis in Type Theory

André Hirschowitz , Tom Hirschowitz , Nicolas Tabareau
Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
Conference papers hal-01178301v1

DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study

Adrien Lebre , Paolo Anedda , Massimo Gaggero , Flavien Quesnel
Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France
Conference papers hal-00645912v1

CSLA : a Language for improving Cloud SLA Management

Yousri Kouki , Thomas Ledoux
International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
Conference papers hal-00675077v1

The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty

Joost Noppen , Jean-Claude Royer
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
Journal articles hal-00416457v1

Flexible Reactive Capabilities in Component-Based Autonomic Systems

Jayaprakash Nagapraveen , Thierry Coupaye , Christine Collet , Pierre-Charles David
Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008, Belfast, Ireland. pp.97-106
Conference papers hal-00486710v1

Quelques réflexions sur la programmation post objet

Pierre Cointe
NOuvelles TEchnologies de la RÉpartition (NOTERE), Jun 2007, Marrakech, Maroc. pp.392
Conference papers hal-00484759v1

La programmation par aspects relève le défi des usines logicielles

Pierre Cointe
01 Informatique, 2006, pp.28
Journal articles hal-00444027v1

VPA-based aspects: better support for AOP over protocols

Dong Ha Nguyen , Mario Südholt
4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. ⟨10.1109/SEFM.2006.39⟩
Conference papers inria-00486448v1

Summary of the third workshop on Domain-Specific Aspect Languages

Thomas Cleenewerck , Jacques Noyé , Johan Fabry , Anne-Françoise Le Meur , Éric Tanter et al.
DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Thomas Cleenewerck and Jacques Noyé and Johan Fabry and Anne-Françoise Lemeur and Éric Tanter, Mar 2008, Bruxelles, Belgium. pp.1-5, ⟨10.1145/1404927.1404928⟩
Conference papers inria-00485027v1

A Model Curriculum for Aspect-Oriented Software Development

Johan Brichau , Ruzanna Chitchyan , Siobhàn Clarke , Ellie d'Hondt , Alessandro Garcia et al.
IEEE Software, 2006, 23 (6), pp.53-61. ⟨10.1109/MS.2006.146⟩
Journal articles hal-00444025v1

Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems

Pierre Riteau , Adrien Lebre , Christine Morin
9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.29⟩
Conference papers inria-00424542v1

Introduction

Awais Rashid , Jean-Claude Royer , Andreas Rummler
Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
Book sections hal-00620988v1

A Domain-Specific Language for Coordinating Concurrent Aspects in Java

Angel Núñez , Jacques Noyé
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Conference papers inria-00468041v1

FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures

Pierre-Charles David , Thomas Ledoux , Thierry Coupaye , Marc Léger
Annals of Telecommunications - annales des télécommunications, 2008, Volume 64 (Numbers 1-2 / février 2009), pp.45-63
Journal articles hal-00468474v1

Java Implementation of a Component Model with Explicit Symbolic Protocols

Sebastian Pavel , Jacques Noyé , Pascal Poizat , Jean-Claude Royer
Software Composition (SC), 2005, Edinburgh, United Kingdom. pp.115--124
Conference papers hal-00342152v1

Tarantula{:} Killing Driver Bugs Before They Hatch

Julia L. Lawall , Gilles Muller , Richard Urunuela
The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), 2005, Chicago, IL, United States. pp.13-18
Conference papers hal-00457191v1

Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs

Fabien Hermenier , Xavier Lorca , Hadrien Cambazard , Jean-Marc Menaud , Narendra Jussien et al.
Sixième Conférence Française sur les Systèmes d'Exploitation (CFSE'08), 2008, Fribourg, France
Conference papers hal-00869094v1

OptiPlace: designing cloud management with flexible power models through constraint programing

Guillaume Le Louët , Jean-Marc Menaud
International Conference on Utility and Cloud Computing, Dec 2013, Dresden, Germany
Conference papers hal-00931797v1