2586 search results - page 59 / 518 » Automatic Abstraction for Congruences |
121
click to vote
UIALL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The paper claims that processes for monitoring, assessing and ensuring appropriate levels of accessibility and usability have to be adopted by web development and mainten...
COSPS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
AIMSA
2006
Springer
15 years 1 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
108
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
ECOWS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Matching of semantic service descriptions is the key to automatic service discovery and binding. Existing approaches split the matchmaking process in two step: signature ...