Conventional network stacks define a layered architecture, where each layer implements a set of services and exports a well-defined interface to be used by its immediate upper layer. A key design choice of the layered architecture has been to provide isolation between the functional modules of distinct layers. While such an architecture provides an useful abstraction for system development, the...

Business process modelling is an area of work that is increasingly used in conjunction with software development. For example, many development methods note the importance of strategic or business modelling, typically as a prerequisite to analysis. In addition, Systems Engineering for Business Process Change suggests the need to model the business process in maintaining and evolving existing (l...

We characterize when choices among lotteries over arbitrary allocations are monotonic in an expected-utility agent’s type. Our necessary and sufficient condition is on the von Neumann-Morgenstern utility function; we identify an order over lotteries that generates the choice monotonicity when the condition holds. We discuss applications to cheap-talk games, costly signaling games, and collectiv...

The Declare Service is a YAWL Custom Service that enables decomposing YAWL tasks into DECLARE workflows, i.e. workflows supported by the workflow management system (WfMS) called DECLARE. The goal of this service is to enable a particular kind of flexibility. Chapter 6 describes a constraint-based approach to workflow models and the ConDec language. This approach, supported by the DECLARE WfMS, ...

Ab strac tIn this paper we describe the design of digital architectures suitable for the implementation of measurement data classification based on Support Vector Machines (SVMs). The performance of such architectures are then analyzed. The proposed approach can be applied for solving identification and inverse modelling problems, and for processing complex measurement data. Two very different ...

Inactivity is one of the major health risks in technologically developed countries. This paper explores potential a series urban landscape interventions to engage people physical activity. Online surveys were conducted with 595 participants living UK by inviting them choose between conventional pavement or challenging routes (steppingstones, balancing beams, and high steps) using photorealistic...