Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic di...
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...
In this paper we present a general framework for document production that covers generic document model needs and adaptation needs. We define a multimedia document model called Mad...
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....