1781 search results - page 99 / 357 » Visualizing program execution using user abstractions |
EUROGP
2007
Springer
14 years 4 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
INAP
2001
Springer
14 years 2 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
SEKE
2001
Springer
14 years 2 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...