Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
A new type of Web-based applications, known as Enterprise Mashups, has been gaining momentum in the last years. Novel design principles are currently about to emerge allowing to c...
Volker Hoyer, Katarina Stanoevska-Slabeva, Till Ja...
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sand...
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
Matt J. Fairman, Andrew R. Price, Gang Xue, Marc M...