3342 search results - page 484 / 669 » Automating Abstract Interpretation |
99
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
94
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
85
Voted
HUC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Context-awareness can improve the usefulness of automated reminders. However, context-aware reminder applications have yet to be evaluated throughout a person’s daily l...
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Previous works on breast tissue identification and abnormalities detection notice that the feature extraction process is affected if the region processed is not well fo...
76
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...