2152 search results - page 162 / 431 » An Abstract Account of Composition |
169
click to vote
FM
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
172
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
205
click to vote
ICSOC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
139
click to vote
ICWE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
143
click to vote
OTM
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....