Pages that link to "Item:Q1591155"
From MaRDI portal
The following pages link to Relational transducers for electronic commerce (Q1591155):
Displayed 10 items.
- Deciding confluence for a simple class of relational transducer networks (Q269334) (← links)
- On the aggregation problem for synthesized web services (Q389232) (← links)
- On the verification of security-aware E-services (Q429592) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Verification of relational transducers for electronic commerce (Q1394796) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- Ontology Support for Managing Top-Down Changes in Composite Services (Q3407376) (← links)
- A datalog-based computational model for coordination-free, data-parallel systems (Q4559834) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)