Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and perfo...
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
The presented dynamic Grid service architecture provides a novel and comfortable access for scientific software developers and users without prior knowledge of Grid technologies o...
Alexander Frank, Rainer Stotzka, Thomas Jejkal, Vo...