Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mirian Halfeld Ferrari
Automatic Refinement of Service Compositions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Refinement Checking for B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Facing Uncertainty in Web Service Compositions
Variability-Driven Selection of Services for Service Compositions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Adaptive BPEL Service Compositions via Variability Management
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Demand-Driven Development of Service Compositions in Organizational Networks
International Journal of Systems and Service-Oriented Engineering
Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Level Modeling of Web Service Compositions With Transactional Properties
Journal of Database Management
Hardware
Information Systems
Architecture
Software
Synchronising Service Compositions in Dynamic Ad Hoc Environments
A Formula Driven Incremental Construction of Web Service Compositions
