Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
B. De Fraine, E. Ernst, M. Südholt.
Essential AOP: The A Calculus, in: ACM Transactions on Programming Languages and Systems (TOPLAS), December 2012.
http://hal.inria.fr/hal-00676082
[2]
I. Figueroa, T. Schrijvers, N. Tabareau, É. Tanter.
Compositional Reasoning About Aspect Interference, in: Modularity'14: 13th International Conference on Modularity, Lugano, Switzerland, April 2014.
https://hal.inria.fr/hal-00919935
[3]
M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.
Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, no 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]
https://hal.archives-ouvertes.fr/hal-01187907
[4]
G. Jaber, N. Tabareau, M. Sozeau.
Extending Type Theory with Forcing, in: LICS'12 : Logic In Computer Science, Dubrovnik, Croatia, June 2012.
http://hal.inria.fr/hal-00685150
[5]
Y. Kouki, F. Alvares De Oliveira Jr., S. Dupont, T. Ledoux.
A Language Support for Cloud Elasticity Management, in: CCGrid'14: IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Chicago, United States, May 2014, pp. 1-8.
https://hal.archives-ouvertes.fr/hal-00941945
[6]
A. Lebre, J. Pastor, M. Südholt.
VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.
https://hal.inria.fr/hal-01159033
[7]
F. Quesnel, A. Lebre, M. Südholt.
Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS, in: Concurrency and Computation: Practice and Experience, December 2012.
http://hal.inria.fr/hal-00675315
[8]
M. Sozeau, N. Tabareau.
Universe Polymorphism in Coq, in: ITP'14: Interactive Theorem Proving, Vienna, Austria, July 2014.
https://hal.inria.fr/hal-00974721
[9]
N. Tabareau, M. Südholt, É. Tanter.
Aspectual Session Types, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, April 2014.
https://hal.inria.fr/hal-00872791
[10]
J. M. Van Ham, G. Salvaneschi, M. Mezini, J. Noyé.
JEScala: Modular Coordination with Declarative Events and Joins, in: Modularity'14 - 13th International Conference on Modularity, Lugano, Switzerland, E. Ernst (editor), April 2014.
https://hal.inria.fr/hal-00862332
Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]
J. M. Van Ham.
Seamless concurrent programming of objects, aspects and events, Ecole des Mines de Nantes, March 2015.
https://tel.archives-ouvertes.fr/tel-01238752

Articles in International Peer-Reviewed Journals

[12]
N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis.
Using finite transducers for describing and synthesising structural time-series constraints, in: Constraints, August 2015, 19 p. [ DOI : 10.1007/s10601-015-9200-3 ]
https://hal.inria.fr/hal-01186662
[13]
J. Fabry, T. Dinkelaker, J. Noyé, É. Tanter.
A Taxonomy of Domain-Specific Aspect Languages, in: ACM Computing Surveys, February 2015, vol. 47, no 3, 44 p. [ DOI : 10.1145/2685028 ]
https://hal.inria.fr/hal-01085063
[14]
I. Figueroa, N. Tabareau, É. Tanter.
Effect capabilities for Haskell: Taming effect interference in monadic programming, in: Science of Computer Programming, November 2015. [ DOI : 10.1016/j.scico.2015.11.010 ]
https://hal.inria.fr/hal-01236145
[15]
M. S. Hasan, Y. Kouki, T. Ledoux, J.-L. Pazat.
Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing, in: IEEE Transactions on Cloud Computing, July 2015, vol. PP, no 99, 1 p. [ DOI : 10.1109/TCC.2015.2459710 ]
https://hal.archives-ouvertes.fr/hal-01187907
[16]
A. Hirschowitz, T. Hirschowitz, N. Tabareau.
Wild omega-Categories for the Homotopy Hypothesis in Type Theory, in: Leibniz International Proceedings in Informatics (LIPIcs), 2015, vol. 38, pp. 226-240. [ DOI : 10.4230/LIPIcs.TLCA.2015.226 ]
https://hal.archives-ouvertes.fr/hal-01178301
[17]
L. Pouilloux, T. Hirofuchi, A. Lebre.
SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems, in: IEEE Transactions on Cloud Computing, January 2016, forthcoming.
https://hal.inria.fr/hal-01197274
[18]
D. Serrano, S. Bouchenak, Y. Kouki, F. J. Alvares de Oliveira, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens.
SLA guarantees for cloud services, in: Future Generation Computer Systems, April 2015, 1 p. [ DOI : 10.1016/j.future.2015.03.018 ]
https://hal.archives-ouvertes.fr/hal-01162654

International Conferences with Proceedings

[19]
N. Beldiceanu, B. Dumas Feris, P. Gravey, M. S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J.-M. Menaud, P. Morel, M. Morvan, M.-L. Moulinard, A.-C. Orgerie, J.-L. Pazat, O. Roux, A. Sharaiha.
The EPOC project: Energy Proportional and Opportunistic Computing system, in: International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), Lisbonne, Portugal, May 2015.
https://hal.archives-ouvertes.fr/hal-01131602
[20]
W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.
Abstract Accountability Language: Translation, Compliance and Application, in: Asia-Pacific Software Engineering Conference, New Delhi, India, December 2015.
https://hal.archives-ouvertes.fr/hal-01214365
[21]
W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami.
Checking Accountability with a Prover, in: 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Taichung, Taiwan, 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), July 2015, pp. 83-88. [ DOI : 10.1109/COMPSAC.2015.8 ]
https://hal.archives-ouvertes.fr/hal-01214360
[22]
R.-A. Cherrueau, R. Douence, M. Südholt.
A Language for the Composition of Privacy-Enforcement Techniques, in: IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Helsinki, Finland, August 2015, pp. 1037 - 1044. [ DOI : 10.1109/Trustcom.2015.480 ]
https://hal.inria.fr/hal-01168303
[23]
S. Dupont, J. Lejeune, F. Alvares, T. Ledoux.
Experimental Analysis on Autonomic Strategies for Cloud Elasticity, in: 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, United States, September 2015.
https://hal.inria.fr/hal-01178419
[24]
A. Garnier, R. Pottier, J.-M. Menaud.
SensorScript: a Domain-Specific Language for Sensor Networks, in: International Conference on Future Internet of Things and Cloud (FiCloud-2015), Rome, Italy, August 2015.
https://hal.inria.fr/hal-01158259
[25]
Y. Hebbal, L. Sylvie, J.-M. Menaud.
Virtual Machine Introspection: Techniques and Applications, in: International Conference on Availability, Reliability and Security, Toulouse, France, August 2015.
https://hal.inria.fr/hal-01165285
[26]
Y. Kouki, M. S. Hasan, T. Ledoux.
Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?, in: 11th World Congress on Services (SERVICES), New York, United States, IEEE World Congress on Services (SERVICES) 2015, IEEE, June 2015, pp. 55-62. [ DOI : 10.1109/SERVICES.2015.17 ]
https://hal.archives-ouvertes.fr/hal-01162745
[27]
A. Lebre, A. Legrand, F. Suter, P. Veyre.
Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API, in: CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, Shenzhen, China, IEEE/ACM, May 2015, pp. 251-260. [ DOI : 10.1109/CCGrid.2015.134 ]
https://hal.inria.fr/hal-01197128
[28]
A. Lebre, J. Pastor, M. Südholt.
VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms, in: Europar 2015, Vienne, Austria, August 2015.
https://hal.inria.fr/hal-01159033
[29]
J. Lejeune, L. Arantes, J. Sopena, P. Sens.
Reducing synchronization cost in distributed multi-resource allocation problem, in: 44th International Conference on Parallel Processing, Beijing, China, 44th International Conference on Parallel Processing, September 2015.
https://hal.archives-ouvertes.fr/hal-01162329
[30]
Y. Li, A.-C. Orgerie, J.-M. Menaud.
Opportunistic Scheduling in Clouds Partially Powered by Green Energy, in: IEEE International Conference on Green Computing and Communications (GreenCom), Sydney, Australia, December 2015.
https://hal.archives-ouvertes.fr/hal-01205911
[31]
F. Marchand de Kerchove, J. Noyé, M. Südholt.
Towards Modular Instrumentation of Interpreters in JavaScript, in: FOAL - Foundations of Aspect-Oriented Languages, Fort Collins, United States, MODULARITY Companion 2015, March 2015. [ DOI : 10.1145/2735386.2736753 ]
https://hal.archives-ouvertes.fr/hal-01116662
[32]
J.-M. Menaud, F. Dumont.
Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management, in: International Conference on Cloud Computing and Big Data, Huangshan, China, June 2015.
https://hal.inria.fr/hal-01132126
[33]
É. Tanter, N. Tabareau.
Gradual Certified Programming in Coq, in: 11th ACM Dynamic Languages Symposium (DLS 2015), Pittsburgh, United States, October 2015. [ DOI : 10.1145/2816707.2816710 ]
https://hal.inria.fr/hal-01238774

National Conferences with Proceedings

[34]
F. Dumont, J.-M. Menaud, L. Sylvie.
Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.
https://hal.inria.fr/hal-01154241
[35]
A. Garnier, J.-M. Menaud, R. Pottier.
SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs, in: Conférence d’informatique en Parallélisme, Architecture et Système, Lille, France, July 2015.
https://hal.inria.fr/hal-01154240

Conferences without Proceedings

[36]
M. Tisi, R. Douence, D. Wagelaar.
Lazy Evaluation for OCL, in: Models 2015: 15th International Workshop on OCL and Textual Modeling, Ottawa, Canada, September 2015.
https://hal.inria.fr/hal-01221072

Scientific Books (or Scientific Book chapters)

[37]
W. Benghabrit, H. Grall, J.-C. Royer, M. Sellami, M. Azraoui, K. Elkhiyaoui, M. Onen, S. Oliveira De Anderson, K. Bernsmed.
From Regulatory Obligations to Enforceable Accountability Policies in the Cloud, in: Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015, CLOSER 2014, Barcelona Spain, April 3-5, 2014, Revised Selected Papers.
https://hal.archives-ouvertes.fr/hal-01214387

Internal Reports

[38]
R.-A. Cherrueau, R. Douence, M. Südholt.
A Language for the Composition of Privacy-Enforcement Techniques, Inria Rennes ; École des Mines de Nantes ; Inria, April 2015, no RR-8720.
https://hal.inria.fr/hal-01145694
[39]
J. Cohen.
A Correct Refactoring Operation to Rename Global Variables in C Programs, LINA-University of Nantes, December 2015.
https://hal.archives-ouvertes.fr/hal-01248121
[40]
A. Lebre, J. Pastor, . The DISCOVERY Consortium.
The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities, Inria, September 2015, no RR-8779, 14 p.
https://hal.inria.fr/hal-01203648
[41]
J. Lejeune, L. Arantes, J. Sopena, P. Sens.
Reducing synchronization cost in distributed multi-resource allocation problem, Ecole des Mines de Nantes, Inria, LINA ; Sorbonne Universités, UPMC, CNRS, Inria, LIP6 ; Inria, February 2015, no RR-8689.
https://hal.inria.fr/hal-01120808

Other Publications

[42]
G. Lewertowski.
Ensembles nominaux dans Coq/SSreflect, Univeristé Paris Diderot Paris 7, September 2015.
https://hal.inria.fr/hal-01250862
[43]
F. Marchand de Kerchove, J. Noyé, M. Südholt.
Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation, June 2015, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01181143
References in notes
[44]
M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors)
Aspect-Oriented Software Development, Addison-Wesley Professional, September 2004.
[45]
C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, J. Tibble.
Adding trace matching with free variables to AspectJ, in: ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA), R. P. Gabriel (editor), ACM Press, 2005.
[46]
R. Allen, D. Garlan.
A Formal Basis for Architectural Connection, in: ACM Transactions on Software Engineering and Methodology, July 1997, vol. 6, no 3, pp. 213–49.
[47]
J. H. Andrews.
Process-Algebraic Foundations of Aspect-Oriented Programming, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, 2001, vol. 2192, pp. 187–209.
[48]
M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, M. Zaharia.
A view of cloud computing, in: Communications of the ACM, 2010, vol. 53, no 4, pp. 50–58.
[49]
T. H. Austin, C. Flanagan.
Multiple facets for dynamic information flow, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, USA, POPL '12, ACM, 2012, pp. 165–178.
http://doi.acm.org/10.1145/2103656.2103677
[50]
A. Beloglazov, R. Buyya.
Energy efficient resource management in virtualized cloud data centers, in: in: Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGRID’10, IEEE Computer Society, 2010, pp. 826–831.
[51]
L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée.
Explicitly distributed AOP using AWED, in: Aspect-Oriented Software Development (AOSD), ACM Press, March 2006, pp. 51-62.
[52]
G. S. Blair, G. Coulson, P. Robin, M. Papathomas.
An architecture for next generation middleware, in: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer-Verlag, 1998.
[53]
A. Braccialia, A. Brogi, C. Canal.
A formal approach to component adaptation, in: Journal of Systems and Software, 2005.
[54]
R. E. Brown, E. R. Masanet, B. Nordman, W. F. Tschudi, A. Shehabi, J. Stanley, J. G. Koomey, D. A. Sartor, P. T. Chan.
Server and Data Center Energy Efficiency: Public Law 109-431, in: Report to Congress, 06/2008 2008.
[55]
S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.
Session Types for Access and Information Flow Control, in: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, P. Gastin, F. Laroussinie (editors), Lecture Notes in Computer Science, Springer, 2010, vol. 6269, pp. 237–252.
http://dx.doi.org/10.1007/978-3-642-15375-4_17
[56]
E. M. Clarke, O. Grumberg, D. A. Peled.
Model Checking, The MIT Press, Cambridge, Massachusetts, 1999.
[57]
A. Colyer, A. Clement.
Large-scale AOSD for Middleware, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, K. Lieberherr (editor), ACM Press, 2004, pp. 56–65.
[58]
F. DeRemer, H. H. Kron.
Programming-in-the-large versus programming-in-the-small, in: IEEE Transactions on Software Engineering, 1976, vol. SE-2, no 2, pp. 80-86.
[59]
G. Decker, O. Kopp, F. Leymann, M. Weske.
BPEL4Chor: Extending BPEL for Modeling Choreographies, in: IEEE International Conference on Web Services (ICWS 2007), IEEE Computer Society, 2007, pp. 296–303.
[60]
E. W. Dijkstra.
On the role of scientific thought, in: Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1974, pp. 60–66, Published in 1982.
[61]
R. Douence, P. Fradet, M. Südholt.
A framework for the detection and resolution of aspect interactions, in: Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), Lecture Notes in Computer Science, Springer-Verlag, October 2002, vol. 2487, pp. 173–188.
http://hal.inria.fr/inria-00072153
[62]
R. Douence, P. Fradet, M. Südholt.
Trace-Based Aspects, in: Aspect-Oriented Software Development, M. Akşit, S. Clarke, T. Elrad, R. E. Filman (editors), Addison-Wesley, 2004, pp. 201-218.
[63]
R. Douence, O. Motelet, M. Südholt.
A formal definition of crosscuts, in: Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Lecture Notes in Computer Science, Springer-Verlag, 2001, vol. 2192, pp. 170–186.
[64]
R. Douence, D. Le Botlan, J. Noyé, M. Südholt.
Concurrent Aspects, in: Proc. of the Int. ACM Conf. on Generative Programming and Component Engineering (GPCE), ACM Press, October 2006, pp. 79-88.
[65]
H. Foster, S. Uchitel, J. Magee, J. Kramer.
Model-based Verification of Web Service Compositions, in: Proceedings of the 18th IEEE Int. Conf. on Automated Software Engineering (ASE'03), IEEE Computer Society, 2003, pp. 152–163.
[66]
I. Foster, Y. Zhao, I. Raicu, S. Lu.
Cloud computing and grid computing 360-degree compared, in: Grid Computing Environments Workshop, 2008. GCE'08, Ieee, 2008, pp. 1–10.
[67]
A. Fuggetta, G. P. Picco, G. Vigna.
Understanding Code Mobility, in: IEEE Transactions on Software Engineering, May 1998, vol. 24, no 5, pp. 342–361.
[68]
Greenpeace.
Make IT green: Cloud computing and its contribution to climate change, Greenpeace International, March 2010.
[69]
K. Honda, N. Yoshida, M. Carbone.
Multiparty asynchronous session types, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, G. C. Necula, P. Wadler (editors), ACM, 2008, pp. 273–284.
http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf
[70]
G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold.
An Overview of AspectJ, in: ECOOP 2001 — Object-Oriented Programming 15th European Conference, Budapest Hungary, Berlin, J. L. Knudsen (editor), Lecture Notes in Computer Science, Springer-Verlag, June 2001, vol. 2072, pp. 327–353.
http://www.eclipse.org/aspectj/
[71]
G. Kiczales.
Aspect Oriented Programming, in: Proc. of the Int. Workshop on Composability Issues in Object-Orientation (CIOO'96) at ECOOP, July 1996, Selected paper published by dpunkt press, Heidelberg, Germany.
[72]
G. Kiczales, J. des Rivieres, Daniel G. Bobrow.
The Art of the Meta-Object Protocol, MIT Press, Cambridge (MA), USA, 1991.
[73]
J. Kienzle, R. Guerraoui.
AOP - Does It Make Sense? The Case of Concurrency and Failures, in: 16th European Conference on Object-Oriented Programming (ECOOP'2002), Malaga, Spain, B. Magnusson (editor), Lecture Notes in Computer Science, Springer-Verlag, 2002.
[74]
T. Ledoux.
OpenCorba: a Reflective Open Broker, in: ACM Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, P. Cointe (editor), Lecture Notes in Computer Science, Springer-Verlag, July 1999, vol. 1616, pp. 197–214.
[75]
M. McIlroy.
Mass produced software components, in: Mass produced software components, Garmish, Germany, P. Naur, B. Randell (editors), NATO Science Committee, October 1968, pp. 138-155.
[76]
N. Medvidovic, R. N. Taylor.
A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, January 2000, vol. 26, no 1, pp. 70-93.
[77]
M. Mernik, J. Heering, A. M. Sloane.
When and How to Develop Domain-Specific Languages, in: ACM Computing Surveys, December 2005, vol. 37, no 4, pp. 316-344.
[78]
L. Mikhajlov, E. Sekerinski.
A study of the fragile base class, in: A study of the fragile base class, Brussels, Belgium, E. Jul (editor), Lecture Notes in Computer Science, July 1998, vol. 1445, pp. 355-382.
[79]
D. H. Nguyen, M. Südholt.
VPA-based aspects: better support for AOP over protocols, in: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), IEEE Computer Society Press, September 2006.
[80]
O. Nierstrasz.
Regular Types for Active Objects, in: Object-Oriented Software Composition, O. Nierstrasz, D. Tsichritzis (editors), Prentice Hall, 1995, chap. 4, pp. 99–121.
[81]
M. Nishizawa, S. Chiba, M. Tatsubori.
Remote Pointcut - A Language Construct for Distributed AOP, in: Proceedings of the 3rd ACM Int. Conf. on Aspect-Oriented Software Development (AOSD), Lancaster, ACM Press, 2004.
[82]
D. L. Parnas.
On the criteria for decomposing systems into modules, in: Communications of the ACM, December 1972, vol. 15, no 12, pp. 1053-1058.
[83]
S. Pearson.
Toward Accountability in the Cloud, in: Internet Computing, IEEE, July-Aug. 2011, vol. 15, no 4, pp. 64-69.
http://dx.doi.org/10.1109/MIC.2011.98
[84]
F. Plasil, S. Visnovsky.
Behavior Protocols for Software Components, in: Transactions on Software Engineering, January 2002, vol. 28, no 9.
[85]
F. Puntigam.
Coordination Requirements Expressed in Types for Active Objects, in: ECOOP'97—Object-Oriented Programming, M. Akşit, S. Matsuoka (editors), Lecture Notes in Computer Science, Springer-Verlag, 1997, vol. 1241, pp. 367–388.
[86]
N. Sharma, S. Barker, D. Irwin, P. Shenoy.
Blink: managing server clusters on intermittent power, in: SIGARCH Comput. Archit. News, March 2011, vol. 39, pp. 185–198.
http://dx.doi.org/10.1145/1961295.1950389
[87]
M. Shaw, D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
[88]
B. C. Smith.
Reflection and Semantics in LISP, Xerox Palto Alto Research Center, Palo Alto, 1984, no P84-00030.
[89]
S. Soares, E. Laureano, P. Borba.
Implementing distribution and persistence aspects with AspectJ , in: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), C. Norris, J. J. B. Fenwick (editors), ACM SIGPLAN Notices, ACM Press, November  4–8 2002, vol. 37, 11, pp. 174–190.
[90]
S. Sundareswaran.
Ensuring Distributed Accountability for Data Sharing in the Cloud, in: Dependable and Secure Computing, 2012, vol. 9.
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6165313
[91]
R. J. Walker, K. Viggers.
Implementing Protocols via Declarative Event Patterns, in: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), ACM Press, 2004, pp. 159 - 169.
[92]
M. Wand, G. Kiczales, C. Dutchyn.
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2004, vol. 26, no 5, pp. 890–910.
[93]
D. M. Yellin, R. E. Strom.
Protocol specifications and component adaptors, in: ACM Transactions of Programming Languages and Systems, March 1997, vol. 19, no 2, pp. 292–333.
[94]
Q. Zhang, L. Cheng, R. Boutaba.
Cloud computing: state-of-the-art and research challenges, in: Journal of internet services and applications, 2010, vol. 1, no 1, pp. 7–18.
[95]
A. van Deursen, P. Klint, J. Visser.
Domain-Specific Languages: An Annotated Bibliography, in: ACM SIGPLAN Notices, June 2000, vol. 35, no 6, pp. 26-36.