This paper proposes a process management system that enables new dynamic manufacturing models to be implemented. This system facilitates the automation of process modelling, thus reducing the workload for process engineers. To this end, it focuses on the incorporation of…

The maturity of IT, in conjunction with certain modern theories about Business Processes Management (BPM), has propitiated an appropriate scenario for meeting the needs of new business models, which are increasingly centred on mass customization. Integration solutions provided within the…

Introduction: Les efforts globaux pour contrôler la tuberculose sont présentement restreints par la prévalence croissante du VIH/SIDA. Quoique les éclosions de la tuberculose multi résistante (TB-MDR) soient fréquemment rapportées parmi les populations atteintes du
SIDA, le lien entre VIH/SIDA et…

The management of space in UK higher education has become a critical issue given the cost of
maintaining the estate and the importance of attractive campus buildings in student recruitment.
Making alterations to existing building structures is expensive and disruptive.…

A request from the Essex health and social care mental health commissioners for a series of broad consultations to seek the views of service users and carers emerged as a response to the potential need for service redesign engendered by…

We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…

Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

Consider a world of 'objects.' Our goal is to place these objects into categories that are useful to the observer using sensory data. One criterion for utility is that the categories allow the observer to infer the object's potential behaviors,…

There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the idea, nor from any lack…

We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity in its diagnosis…