5414 search results - page 920 / 1083 » Data representation synthesis |
187
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
177
click to vote
SMALLTALK
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
153
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
180
click to vote
VISUAL
2007
Springer
16 years 18 days ago
2007
Springer
Chorems are schematized representations of territories, and so they can represent a good visual summary of spatial databases. Indeed for spatial decision-makers, it is more importa...
181
click to vote
W2GIS
2007
Springer
16 years 18 days ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...