Sciweavers

36 search results - page 8 / 8
» CTR-S: a logic for specifying contracts in semantic web serv...
Sort
View
PODS
2008
ACM
110views Database» more  PODS 2008»
14 years 5 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu