Formal interaction specification in public health surveillance systems using π-calculus
Computer Methods and Programs in Biomedicine
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure analysis for composition of web services represented as labeled transition systems
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Security-aware web service composition approaches: state-of-the-art
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Distributed orchestration of web services under security constraints
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Adaptable UI for web service composition: a model-driven approach
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Decentralized multi-agent service composition
Multiagent and Grid Systems
Hi-index | 0.00 |
Ensuring dependability and security of Peer-to- Peer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterizes such systems. Dynamic verification provides the means of monitoring ...