New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings
暂无分享,去创建一个
Krishna M. Sivalingam | Alfredo Cuzzocrea | Simone Diniz Junqueira Barbosa | Xiaokang Yang | Junsong Yuan | Dominik Ślęzak | Phoebe Chen | Orhun Kara | Takashi Washio | Ting Liu | Sofian Maabout | Flavio Ferrarotti | Christian Attiogbé | Xiaoyong Du | Junsong Yuan | T. Washio | D. Ślęzak | Simone Diniz Junqueira Barbosa | Phoebe Chen | A. Cuzzocrea | Xiaoyong Du | Orhun Kara | Ting Liu | K. Sivalingam | Xiaokang Yang | S. Maabout | Flavio Ferrarotti | C. Attiogbé
[1] Faiza Belala,et al. Formal modelling and verifying elasticity strategies in cloud systems , 2019, IET Softw..
[2] Vegard Engen,et al. The Interplay Between Human and Machine Agency , 2017, HCI.
[3] Fabienne Boyer,et al. Architectural Model and Planification Algorithm for the Self-Management of Elastic Cloud Applications , 2014, 2014 International Conference on Cloud and Autonomic Computing.
[4] Carlo Ghezzi,et al. Towards the formalization of properties of cloud-based elastic systems , 2014, PESOS 2014.
[5] Thai Son Hoang,et al. Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.
[6] Colin F. Snook,et al. Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3 , 2018, ABZ.
[7] David Sinreich,et al. An architectural blueprint for autonomic computing , 2006 .
[8] Mourad Amziani,et al. Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. (Modélisation, évaluation et mise en oeuvre de l'élasticité des applications à base de services dans le cloud) , 2015 .
[9] G. Loewenstein,et al. Privacy and human behavior in the age of information , 2015, Science.
[10] Colin F. Snook,et al. Behaviour-Driven Formal Model Development , 2018, ICFEM.
[11] Thomas Ledoux,et al. Experimental Analysis on Autonomic Strategies for Cloud Elasticity , 2015, 2015 International Conference on Cloud and Autonomic Computing.
[12] Julie A. McCann,et al. A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.
[13] Mahantapas Kundu,et al. Handwritten isolated Bangla compound character recognition: A new benchmark using a novel deep learning approach , 2017, Pattern Recognit. Lett..
[14] R. Lewicki,et al. Trust, trust development, and trust repair. , 2000 .
[15] Faiza Belala,et al. Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems , 2018, MEDI.
[16] Dana Dghaym,et al. Formal Model Validation Through Acceptance Tests , 2019, RSSRail.
[17] Philippe Merle,et al. Autonomic Vertical Elasticity of Docker Containers with ELASTICDOCKER , 2017, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD).
[18] Jimmy Ba,et al. Adam: A Method for Stochastic Optimization , 2014, ICLR.
[19] Christel Baier,et al. Principles of model checking , 2008 .
[20] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[21] B. Sparks,et al. The impact of online reviews on hotel booking intentions and perception of trust. , 2011 .
[22] Samuel Kounev,et al. Elasticity in Cloud Computing: What It Is, and What It Is Not , 2013, ICAC.
[23] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[24] Alya Mlaiki,et al. Trust as an Organizing Principle in Offshoring Intercultural Relationships , 2008, MCIS.