305 search results - page 59 / 61 » Proof as Composition: An approach for the Large-granularity ... |
AAAI
2007
13 years 9 months ago
2007
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
ESOP
2010
Springer
14 years 16 days ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
ICAS
2009
IEEE
13 years 11 months ago
2009
IEEE
The increased complexity of today's distributed, composite, Web-based systems presents difficult and unique systems management problems. The way these systems interact, and th...
EMISA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
MKWI
2008
13 years 8 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...