9110 search results - page 1725 / 1822 » Formally-Based Design Evaluation |
MDM
2004
Springer
14 years 3 months ago
2004
Springer
Prefetching has been widely used to improve system performance in mobile environments. Since prefetching consumes system resources, such as bandwidth and power, it is important to...
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...