Middleware-based distributed systems software process
Proceedings of the 2009 International Conference on Hybrid Information Technology
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
A framework for flexible and dependable service-oriented embedded systems
Architecting dependable systems VII
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
Model-driven privacy and security in multi-modal social media UIs
MSM'11 Proceedings of the 2011 international conference on Modeling and Mining Ubiquitous Social Media
Hi-index | 0.00 |
In this paper we present our vision of establishing self-coordination as the dominant paradigm of operation of future embedded computing environments. This vision is looked at from three different points of view. First of all techniques to model self-coordinating ...