. The methodology is founded on the view of a system as a computational organisation consisting of various interacting roles. We illustrate the methodology through a case study (an agent-based business process management system).

, the methodologies of social psychology spare us this frustrating conundrum by providing operational definitions. In some cases, evidence for illusions comes from experimental work that manipulates feedback provided to a person (e.g., whether the person succeeded or failed on a task) and measures the individual

such methodologies are developed, it will remain impractical to use activation theory in predicting or changing employee reactions to their jobs except in a very gross fashion; e.g., in situations where it is clear that most employees are enormously over-or understimulated by their jobs. A second problem has to do

where dramatic changes in achievement or ability have followed the introduction of a medium, as was the case with television in El Salvador Media Comparison Studies In the 1960s, Lumsdaine (1963) dealt primarily with adequate studies that had used defensible methodology, and had found significant

by this attack, there have been few serious attempts to characterize the spread of the worm, partly due to the challenge of collecting global information about worms. Using a technique that enables global detection of worm spread, we collected and analyzed data over a period of 45 days beginning July 2nd, 2001

: data-driven, goal-driven and user-driven. All three development approaches have been applied to the Process Warehouse that is used as the foundation of a process-oriented decision support system, which aims to analyse and improve business processes continuously. In this paper we evaluate all three

) Initiative developed recommendations on what should be included in an accurate and complete report of an observational study. We defined the scope of the recommendations to cover three main study designs: cohort, case-control, and cross-sectional studies. We convened a 2-day workshop in September 2004

on the construction of suitable witness modules. Moreover, as abstractions need to be witnessed, and witnesses abstracted, the process must be iterated. We present here the main lessons we learned from our experiments, in form of a systematic and structured discipline for the compositional verification of reactive

We present a detailed study of network evolution by analyzing four large online social networks with full temporal information about node and edge arrivals. For the first time at such a large scale, we study individual node arrival and edge creation processes that collectively lead to macroscopic

Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known to belong to some uncertainty set. The paper surveys the main results of RO as applied to uncertain linear, conic quadratic