3410 search results - page 417 / 682 » Measuring Model Transformation in Model Driven Development |
156
click to vote
SOSYM
2010
15 years 3 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
125
click to vote
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
143
click to vote
IBPRIA
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
138
click to vote
ICEIS
1999
IEEE
15 years 9 months ago
1999
IEEE
: This paper provides a review of groupware technology and products. The purpose of this review is to investigate the appropriateness of current groupware technology as the basis f...
126
click to vote
VLDB
1989
ACM
15 years 8 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...