2586 search results - page 34 / 518 » Automatic Abstraction for Congruences |
JWE
2006
13 years 7 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
ASPLOS
2004
ACM
14 years 25 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
ACL
2009
13 years 5 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
SPIN
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
CLEF
2011
Springer
12 years 7 months ago
2011
Springer
Abstract This paper describes the evolution of our method Encoplot for automatic plagiarism detection and the results of the participation to the PAN’11