ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
Anna Goy, Claudia Picardi, Daniele Theseider Dupr&...
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...