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
Design and Implementation of a Composable Reflective Middleware Framework
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |