Timothy E. Lindquist

Learn More
Security is a challenging aspect of communications today that touches many areas including memory space, processing speed, code development and maintenance issues. When it comes to dealing with lightweight computing devices, each of these problems is amplified. In an attempt to address some of these problems, SUN’s Java 2 Standard Edition version 1.4(More)
The current process for testing and debugging embedded sojware is ine~ective at revealing errors. There are currently huge costs associated with the validation of embedded applications. Despite the huge costs, the most dl~cult errors to reveal and locate are found extremely late in the testing process, making them even more costly to repm”r. This paper(More)
We propose two views on process: an organizational view and a personal process view. Information technology applies Automated Workflow technology to define, execute, and track an organization’s automated business processes. Calendaring tools provide a form of personal process view through scheduled work items. However, the personal, or individual, view of(More)
The IOGen static-analysis tool for a subset of Ada addresses part of the problem of verification of software reliability. It uses a technique based on symbolic execution and produces a set of I/O pairs that represent execution paths through a program. The authors present IOGen's design and demonstrate how to use it to test programs and validate Ada software(More)
In software organizations there is a very real possibility that a commitment to existing assets will require migration of legacy software towards new environments that use modern technology. One technique that has been suggested for facilitating the migration of existing legacy assets to new platforms is via the use of the adapter design pattern, also known(More)
Only recently has the research community started to consider how to make software process models interoperable and reusable. The task is difficult. Software processes are inherently creative and dynamic, difficult to define and repeat at an enactable level of detail. Additionally, interoperability and reusability have not been considered important issues.(More)
In software organizations there is a very real possibility that a commitment to existing assets will require migration of legacy software towards new environments that use modern technology. One technique that has been suggested for facilitating the migration of existing legacy assets to new platforms is via the use of the adapter design pattern, also known(More)
A service-based development paradigm is one in which components are viewed as services. In this model, services interact and can be providers or consumers of data and behavior. Applications in this paradigm dynamically integrate services at runtime-based on available resources. This paper describes an architecture-based approach for the creation of services(More)
Modern automated process support systems can be considered monolithic in three ways. First, they model processes top-down, usually from a single perspective, such as the organizational perspective. Second, they are process-centered, in that they often require extensive knowledge of the users, data types, and applications in their environment. Third, they(More)
Periodic collection of field data, analysis and interpretation of data are key to a good healthcare service. This data is used by the subsequent decision makers to recognize preventive measures, provide timely support to the affected and to help measure the effects of their interventions. While the resources required for good disease surveillance and(More)