828 search results - page 28 / 166 » A New Model of Program Dependences for Reverse Engineering |
EICS
2010
ACM
14 years 1 days ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
WCRE
2003
IEEE
14 years 29 days ago
2003
IEEE
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...
EUROPAR
2010
Springer
13 years 8 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
IUI
2000
ACM
14 years 1 days ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...