Extending the verification capabilities of middleware for reliable distributed self-adaptive systems.
Marisol García-VallsDiego Perez-PalacinRaffaela MirandolaPublished in: INDIN (2014)
Keyphrases
- distributed systems
- heterogeneous environments
- distributed environment
- processing capabilities
- open systems
- autonomous mobile
- distributed computation
- complex systems
- learning systems
- building blocks
- cooperative
- computing environments
- data intensive
- management system
- expert systems
- metadata
- asynchronous circuits
- distributed object
- information systems