1981 search results - page 291 / 397 » The State of Change: A Survey |
RTA
2007
Springer
14 years 4 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
HPDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Replication is a technique commonly used to increase the availability of services in distributed systems, including grid and web services. While replication is relatively easy for...
IAT
2006
IEEE
14 years 4 months ago
2006
IEEE
The dynamic nature of many real-world domains (e.g., military, emergency first response and hurricane relief, etc) requires adaptive resource allocation to respond to changes in t...
ICAC
2006
IEEE
14 years 4 months ago
2006
IEEE
— As Internet worms become ever faster and more sophisticated, it is important to be able to extract worm signatures in an accurate and timely manner. In this paper, we apply mac...