305 search results - page 56 / 61 » Proof as Composition: An approach for the Large-granularity ... |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
— Web services orchestrations and choreographies require establishing Quality of Service (QoS) contracts with the user. This is achieved by performing QoS composition, based on c...
SWS
2004
ACM
14 years 26 days ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...