Towards a new multimedia synchronization mechanism and its formal definition
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
Distributed Multimedia System Design: A Holistic Perspective
Proceedings of the conference on Design, automation and test in Europe - Volume 2
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.00 |