10790 search results - page 335 / 2158 » Using feature models to automate model transformations |
157
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
180
click to vote
HIS
2001
15 years 8 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...
150
click to vote
MMNS
2004
15 years 8 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
226
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
160
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
To support a vast set of user requirements, flexibility and extensibility are essential features of a metasystem architecture. We present an execution model, the Reflective Graph ...