Sean Thompson

Learn More
Mussels rely on a strong byssal attachment to persist in a range of habitats with differing rates of water flow. Recent studies, however, suggest that the ability of one mussel species to sense and respond adaptively to the flow in its environment is limited under even modest flow conditions because the process of byssal thread formation is disrupted. This(More)
People enacting processes deviate from the process definition for a variety of different reasons. These deviations may result in either negative or positive consequences for the organization involved. Detecting deviations as the process is being enacted provides an opportunity to determine not only the point in the process where the deviation occurred but a(More)
The research presented in this paper is an examination of how the concepts used in process improvement may be applied to a web form to improve design and usability. Although much research is being conducted in improving the security and usability in how users input information to web sites, the HTML form remains as the primary source of user-web input. Thus(More)
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their application has also been limited to one domain, such as the software, business or manufacturing process. In this paper we differentiate between activity/general process(More)
A key challenge facing process non-conformance detection is to develop approaches not only effective across different domains and for different kinds of processes, but also to provide a practical and easy to implement solution. Since this is a process improvement area, the commercial realities of today dictate that if a solution cannot be implemented(More)
We have seen a variety of frameworks and methodologies aimed at dealing with non-conformance in processes presented in the literature. These methodologies seek to find discrepancies between process reference models and data returned from instances of process enactments. These range from methodologies aimed at preventing deviations and inconsistencies(More)
Recently, Cheng in 1993 introduced the C” programming language. C” is designed to be a superset of C with all the programming features of FORTRAN. Formulas with dual numbers can be translated into CH programming statements as easily as formulas with real and complex numbers. In this paper we will show that both formulation and programming with dual numbers(More)
Due to the recent advancements of the Internet, Java has become a dominant programming language, especially for coding concurrent applications. Finite state verification is a powerful technique for detecting subtle errors in a program. This paper reviews recent attempts to transform Java source code into a model that can be checked using verification tools.(More)