Sciweavers

Share
126 search results - page 1 / 26
» Pattern-Based Verification for Trees
Sort
View
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
12 years 3 months ago
Pattern-Based Verification for Trees
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...
Milan Ceska, Pavel Erlebach, Tomás Vojnar
WISE
2006
Springer
12 years 5 months ago
Pattern Based Property Specification and Verification for Service Composition
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...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
ACL
1998
12 years 1 months ago
A Pattern-Based Machine Translation System Extended by Example-Based Processing
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...
Hideo Watanabe, Koichi Takeda
ICSM
2006
IEEE
12 years 6 months ago
Guiding the Application of Design Patterns Based on UML Models
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 ...
Lionel C. Briand, Yvan Labiche, Alexandre Sauve
DIS
2005
Springer
12 years 5 months ago
Practical Algorithms for Pattern Based Linear Regression
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...
Hideo Bannai, Kohei Hatano, Shunsuke Inenaga, Masa...
books