BOOK-CHAPTER
Formalization and Verification of Declarative Cloud Orchestration
Hiroyuki YoshidaKazuhiro OgataKokichi Futatsugi
Year: 2015 Lecture notes in computer science Pages: 33-49 Publisher: Springer Science+Business Media
Keywords:
Orchestration Liveness Computer science Network topology Cloud computing Distributed computing Automation Topology (electrical circuits) Software Software engineering Programming language Operating system Engineering
Metrics
9
Cited By
3.31
FWCI (Field Weighted Citation Impact)
6
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Cloud Computing and Resource Management
Physical Sciences → Computer Science → Information Systems
Distributed systems and fault tolerance
Physical Sciences → Computer Science → Computer Networks and Communications
Software System Performance and Reliability
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
JOURNAL ARTICLE
Declarative automated cloud resource orchestration
Changbin LiuBoon Thau LooYun Mao
Year: 2011 Pages: 1-8
JOURNAL ARTICLE
Declarative policy support for cloud application orchestration
Kena AlexanderChoonwha LeeSeungmok Chai
Year: 2017 Pages: 102-104