6040 search results - page 218 / 1208 » Generating Instance Models from Meta Models |
109
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
128
click to vote
CGF
2006
15 years 2 months ago
2006
Spline curves are useful in a variety of geometric modeling and graphics applications and covering problems abound in practical settings. This work defines a class of covering dec...
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
114
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
122
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...