Synthesis and verification of delf-aware computing systems
Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques...
| Asıl Yazarlar: | , , , , , , , , , , , , |
|---|---|
| Materyal Türü: | Book section |
| Baskı/Yayın Bilgisi: |
Springer
2017
|