52 search results - page 11 / 11 » A Formal Analysis of a Business Contract Language |
PVLDB
2008
13 years 4 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
COMPSAC
2010
IEEE
13 years 3 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...