Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model from event-based data. Existing techniques try to generate a complete process model from the data acquired. However, unless this model is the ultimate goal of mining, such a model is not always required. Instead, a good visual...

This paper explores the process of designing and building a virtual classroom using a 3D environment building tool. This is part of a larger project to create a virtual education environment to facilitate the communications interactions present in the teacher student matrix, while investigating the role of these interactions in the learning process. There are many initiatives to enable virtual ...

HECKMAN, SARAH SMITH. A Systematic Model Building Process for Predicting Actionable Static Analysis Alerts. (Under the direction of Laurie Williams). Automated static analysis tools can identify potential source code anomalies, like null pointers, buffer overflows, and unclosed streams that could lead to field failures. These anomalies, which we call alerts, require inspection by a developer to...

Making often involves an iterative cycle of testing and re-designing in response to setbacks as well as serendipitous discoveries. Anyone that has created a design project knows that projects rarely work on the first try; instead, they are constantly tweaked and refined to function as intended. Yet this iterative process is rarely spoken about or shared in traditional forms of product-oriented ...

An experimental study is presented, which investigates the process of building qualitative simulation models using HOMER, a tool for building qualitative models of systems. HOMER consists of a number of dedicated editors aiming at decomposing the complexity of the model building process into more manageable subtasks. The aims of the present study are a) validating the original task analysis und...

We present here because it will be so easy for you to access the internet service. As in this new era, much technology is sophistically offered by connecting to the internet. No any problems to face, just for this day, you can really keep in mind that the book is the best book for you. We offer the best here to read. After deciding how your feeling will be, you can enjoy to visit the link and g...

Consider the following process for a simple graph without isolated vertices: Order the edges randomly and keep an edge if and only if it contains a vertex which is not contained in some preceding edge. The resulting set of edges forms a spanning forest of the graph. The probability of obtaining k components in this process for complete bipartite graphs is determined as well as a formula for the...

Process Mining techniques aim at building a process model starting from an event log generated during the execution of the process. Classical process mining approaches have problems when dealing with Spaghetti Processes, i.e. processes with little or no structure, since they obtain very chaotic models. As a remedy, in previous works we proposed a methodology aimed at supporting the analysis of ...

18 7.1 Some state machine theory. 7.2 The theoretical basis for finite state machine testing. 7.3 The theoretical basis for stream X-machine testing.