Reliability-aware automatic composition approach for web services (Q439793): Difference between revisions

@@ Property / describes a project that uses @@
+AutoSyn
@@ Property / describes a project that uses: AutoSyn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WSAT
@@ Property / describes a project that uses: WSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1977741013
@@ Property / OpenAlex ID: W1977741013 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational transducers for electronic commerce
@@ Property / cites work: Relational transducers for electronic commerce / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and verification of data-driven Web applications
+Normal rank
@@ Property / cites work @@
+Verification of relational transducers for electronic commerce
+Normal rank
@@ Property / cites work @@
+Conversation protocols: a formalism for specification and verification of reactive electronic services
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+A lower bound on web services composition
@@ Property / cites work: A lower bound on web services composition / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:439793