APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. How to flexibly manage complex applications over heterogeneous clouds is one of the emerging problems in the cloud era. The OASIS Topology and Orchestration Specificati...
APN
2015
Springer
8 years 7 months ago
2015
Springer
We consider trophic networks, a kind of networks used in ecology to represent feeding interactions (what-eats-what) in an ecosystem. We observe that trophic networks can be natural...
APN
2015
Springer
8 years 7 months ago
2015
Springer
Abstract. Specifying the correctness of complex concurrent and realtime systems is a crucial problem. Many property languages have been proposed to do so; however, these techniques...