Browse Dept. of Computer Science by Title

This thesis demonstrates the ability to formalize the operational semantics of
complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

There is an extensive literature about refactorings of object-oriented programs, and many refactoring tools for the Java programming language. However, except for a few studies, in practice it is difficult to find precise ...

MSSP is a new execution paradigm that achieves high performance by removing correctness constraints from the critical path. A collection of concurrently executing slave processors, which are not on the critical path, check ...

Many Distributed Real-Time Systems (DRTS), such as integrated modular avionics systems and distributed control systems in
motor vehicles, are made up of a collection of components communicating asynchronously among ...

Due to physical requirements, what in essence and at a higher
level of abstraction is a logically synchronous real-time system has to
be often realized as a distributed, asynchronous system. Getting asynchronous real-time ...

Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously ...

Many applications on Android rely on advertisements for revenue. In the current advertisement model, ad libraries are linked to host applications and their permission requirements are coupled. More permissions means more ...

This thesis presents the development and deployment of educational software applications on a heterogeneous set of consumer-level devices. To do this, the SLICE framework was created to allow for application developers ...

The design and implementation of an object-oriented framework for grid solvers is presented. Unlike conventional sparse solvers, a grid solver solves the sparse linear system embedded in a computational grid without creating ...

In this work, we focus on one class of interruption, notifications in the desktop, and present one solution to managing such notifications--- intelligently timing their delivery. Our solution is based on a deep theoretical ...

Interruptions in the workplace are becoming increasingly prevalent due to the proliferation of proactive behavior within communication applications and collaborative practices. Interruptions caused by notifications from ...

Interruptions in the workplace are becoming increasingly prevalent due to the proliferation of proactive behavior within communication applications and collaborative practices. Interruptions caused by notifications from ...

In this work, we describe a comprehensive framework
for knowledge discovery from medical records called SDM-Miner.
The records are created before, during and after pancreatic
islet cell transplantation1 on a group of ...

In this work, we describe a comprehensive framework
for knowledge discovery from medical records called SDM-Miner.
The records are created before, during and after pancreatic
islet cell transplantation1 on a group of ...

Current techniques used by forensic investigators during incident response and search and seizure operations generally involve pulling the power on suspect machines and performing traditional dead box post-mortem analysis ...

Promotion is one of the most important elements in marketing. It is often desirable to find merit in an object (e.g., product, person, organization, or other business entity) and promote it in an appropriate community ...

Promotion is one of the most important elements in marketing. It is often desirable to find merit in an object (e.g., product, person, organization, or other business entity) and promote it in an appropriate community ...

Interrupting users engaged in tasks typically has negative effects on their task completion time, error rate, and affective state. Empirical research has shown that these negative effects can be mitigated by deferring ...

Knowledge about user task execution can help systems better reason about when to interrupt users. To enable recognition and forecasting of task execution, we develop a novel framework for specifying and monitoring user ...