共 50 条
- [1] Introduction to "Rigorous Engineering of Autonomic Ensembles" - Track Introduction LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 96 - 98
- [2] The IEEE Services Track on Software Engineering for/in the Cloud Proceedings 2016 IEEE World Congress on Services - SERVICES 2016, 2016, : 97 - 98
- [3] Rigorous Engineering of Collective Adaptive Systems Track Introduction LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 535 - 538
- [4] Elastic Virtualized Network Services 2012 IEEE 1ST INTERNATIONAL CONFERENCE ON CLOUD NETWORKING (CLOUDNET), 2012,
- [5] Virtualized Cloud Video Services 2017 25TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE (SIU), 2017,
- [6] The IEEE Services Visionary Track on the Future of Software Engineering for/in the Cloud 2015 IEEE World Congress on Services, 2015, : 29 - 30
- [8] Virtualized network services extension algorithms 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2018,
- [10] Virtualized environments, from connectivity to services Annals of Telecommunications, 2017, 72 : 385 - 386