2586 search results - page 167 / 518 » Automatic Abstraction for Congruences |
82
Voted
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
83
Voted
OTM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
110
Voted
FM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...