10790 search results - page 243 / 2158 » Using feature models to automate model transformations |
173
click to vote
DOCENG
2004
ACM
16 years 3 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
165
click to vote
IJCAI
2003
15 years 8 months ago
2003
When a security incident occurs it is sometimes necessary to identify its causes for legal and cautionary purposes. In an attempt to hide the origin of her connection, a malicious...
185
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
160
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
161
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
The proliferation of handheld devices such as PDAs and smartphones represents a new scenario for automatic signature verification. Traditionally, research on signature verificatio...