10 search results - page 2 / 2 » Matching and Merging of Statecharts Specifications |
IPMU
2010
Springer
13 years 9 months ago
2010
Springer
This paper deals with color matching in a wood quality control problem. The main difficulty consists in the recognition of gradual color in an industrial context. The wood, which i...
DAC
2010
ACM
14 years 2 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
ENTCS
2006
13 years 11 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
DEBU
2006
13 years 11 months ago
2006
The SERF project at Stanford deals with the Entity Resolution (ER) problem, in which records determined to represent the same real-life "entities" (such as people or pro...
GIR
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we present a novel indexing data structure called RDHT (Range capable Distributed Hash Table) derived from skip lists and specifically designed for storing and retr...