On the aggregation problem for synthesized web services (Q389232): Difference between revisions

@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / 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 / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2013.01.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2165210114
@@ Property / OpenAlex ID: W2165210114 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57495363
@@ Property / Wikidata QID: Q57495363 / 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 @@
+On the aggregation problem for synthesized web services
+Normal rank
@@ Property / cites work @@
+A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
+Normal rank
@@ Property / cites work @@
+Q4156744
@@ Property / cites work: Q4156744 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable diophantine equations
@@ Property / cites work: Undecidable diophantine equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258216
@@ Property / cites work: Q4258216 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:389232