1002 search results - page 122 / 201 » Test-Driven Development of Model Transformations |
ESAW
2008
Springer
13 years 12 months ago
2008
Springer
The complexity of engineers tasks leads us to provide means to bring the Adaptive Multi-Agent Systems (AMAS) design to a higher stage of automation and confidence thanks to Model D...
VLDB
2006
ACM
14 years 10 months ago
2006
ACM
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
CADE
2005
Springer
14 years 3 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...
IBPRIA
2003
Springer
14 years 3 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...
ICEIS
1999
IEEE
14 years 2 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...