3921 search results - page 612 / 785 » Transforming Models with ATL |
126
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
132
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
120
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
140
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
144
click to vote
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
It is well known that a formal framework for the schema matching problem (SMP) is important because it facilitates the building of algorithm model and the evaluation of algorithms....