Transactional middleware platforms must accommodate an increasingly diverse range of requirements from both the applications and the underlying systems. It is clear that advanced applications have characteristics and requirements that vary a lot, and that transactional middleware must be able to support the potential variety in transaction execution requirements. We describe a configurable and ...

The automated enactment of processes through the use of workflow management systems enables the transfer of control flow from application systems to workflow management systems. By now a large number of different systems, that follow different interpretations of the workflow paradigm, are available. This leads to the problem of selecting the appropriate workflow management system for a given si...

A key planning activity within a Virtual Enterprise (VE) is to establish agreed inter-organizational processes. This activity, or meta-process, has to allow for gradual evolution of the VE processes and for a multi layer development from informal business agreements to precise workflows. To support this meta-process, a collaborative electronic whiteboard supported by a tuplespace is proposed. T...

Over the years, logical framework research has produced various type theories designed primarily for the representation of deductive systems. Reasoning about these representations requires expressive special purpose meta logics, that are in general not part of the logical framework. In this work, we describe Lω , a meta logic for the linear logical framework LLF [CP96] and illustrate its use vi...

Web-based interfaces to applications in all domains of university life are surging. Given the diverse demands in and the histories of universities, combined with the rapid IT industry developments, all attempts at a sole all-encompassing platform for single-sign-on (SSO) will remain futile. In this paper, we present an architecture for a meta-SSO, which is able to seamlessly integrate with a wi...

Many sources on the Internet and elsewhere rank the objects in query results according to how well these objects match the original query. For example, a real-estate agent might rank the available houses according to how well they match the user's preferred location and price. In this environment, \meta-brokers" usually query multiple autonomous, heterogeneous sources that might use varying res...

This paper introduces a new definition of method fragment intended to represent MAS development approaches in a more standardized and coherent way, thus facilitating the configuration of situational methods. In order to do that, we take into account three complementary notions: (i) a method fragment description based on SPEM 2.0 elements; (ii) two method fragment perspectives, the internal and ...

This paper deals with the problem of automating the contribution of resources owned by people to do work for others. This is by providing a means for owners of resources to maintain autonomy over how, when and to whom their resources are used with the specification of use policies governing resources. We give representations of requests for resource usage as a set of conditional norms and a use...

The META-EVI is a novel interface created from an extensive augmentation of the Steiner MIDI EVI, a brass style ‘electric valve instrument’ (EVI), which was expanded with 11 analog sensors and 10 digital switches. The main goal of this project consists in achieving a performance tool that exhibits truly innovative levels of musical expression much beyond what is possible with the original instr...

A technical discussion often contains conversational expressions like “however,” “as I have stated before,” “next,” etc. These expressions, denoted Meta-technical Utterances (MTUs) carry important information which the listener uses to speed up the comprehension process. In this research we model the meaning of MTUs in terms of their anticipated effect on the listener comprehension, and use the...