4 search results - page 1 / 1 » Foundations of Tree-like Local Model Updates |
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
WISE
2002
Springer
13 years 9 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
ISCC
2002
IEEE
13 years 9 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...
SIGMOD
2004
ACM
14 years 4 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...