Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Efficient algorithms for Web services selection with end-to-end QoS constraints
ACM Transactions on the Web (TWEB)
Scaling up SLA monitoring in pervasive environments
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
CASCOM: Intelligent Service Coordination in the Semantic Web
CASCOM: Intelligent Service Coordination in the Semantic Web
SOA Governance
A Policy-Based Middleware for Web Services SLA Negotiation
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Qos-driven runtime adaptation of service oriented architectures
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
JBoss Drools Business Rules
Quality of service-oriented software systems (QUASOSS 2010)
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A systematic literature review on service description methods
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
| Hi-index | 0.00 |