Pages that link to "Item:Q1591155"
From MaRDI portal
The following pages link to Relational transducers for electronic commerce (Q1591155):
Displayed 7 items.
- 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)