89 search results - page 16 / 18 » Declarative Specifications of Complex Transactions |
ICDT
2009
ACM
14 years 8 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
KCAP
2005
ACM
14 years 29 days ago
2005
ACM
Semantic data transformation plays an important role in realizing the vision of the semantic web. It supports the transformation of data in different representations into ontologi...
ICSE
2003
IEEE-ACM
14 years 18 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
EON
2008
13 years 8 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...