126 search results - page 1 / 26 » Pattern-Based Verification for Trees |
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
WISE
2006
Springer
13 years 10 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
ACL
1998
13 years 5 months ago
1998
In this paper, we describe a machine translation system called PalmTree which uses the "patternbased" approach as a fundamental framework. The pure pattern-based transla...
ICSM
2006
IEEE
13 years 10 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
DIS
2005
Springer
13 years 10 months ago
2005
Springer
We consider the problem of discovering the optimal pattern from a set of strings and associated numeric attribute values. The goodness of a pattern is measured by the correlation b...