This book constitutesthe thoroughly refereed proceedings of the 4th International Conference ...
InhaltsangabeFormal Methods for Modeling, Refining and Verifying Autonomic Components of Computer...
InhaltsangabeActivity-Based Entities Relationship in Monitoring Context Awareness.- Context-Aware...
InhaltsangabeModular Design and Verification of Distributed Adaptive Real-Time Systems.- Modeling...
This book constitutes the post-conference proceedings of the Second International Conference on N...
This book constitutes the proceedings of the 5th International Conference on Context-Aware System...
This book constitutes the refereed post-conference proceedings of the International Conferences I...
This book constitutes the refereed post-conference proceedings of the International Conferences I...
This book constitutes the refereed post-conference proceedings of the 7th International Conferenc...