4814 search results - page 576 / 963 » Combining abstract interpreters |
156
click to vote
AISC
2004
Springer
16 years 6 days ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
205
click to vote
AP2PC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
186
click to vote
ARCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
185
click to vote
ASIASIM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. It is important to simulate a groundwater transport process, e.g., pollutant migration, through the vadose zone and subsequent mixing within the saturated zone to assess ...
179
Voted
CBSE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...