Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Design and Implementation of a Composable Reflective Middleware Framework
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Ambient intelligence and the development of embedded system software
Ambient intelligence
Computer
A software architecture for translucent replication
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
A middleware for adaptive service orientation in pervasive computing environments
Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing
A LOTOS framework for middleware specification
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
On the importance of composability of ad hoc mobile middleware and trust management
ISAS'05 Proceedings of the Second international conference on Service Availability
On the use of formal specifications as part of running programs
Software Engineering for Multi-Agent Systems IV
Towards a framework to characterize ubiquitous software projects
Information and Software Technology
| Hi-index | 0.00 |
Look to composable middleware frameworks to ensure safe middleware interactions for ubiquitous computing applications.