1645 search results - page 224 / 329 » Conceptual modelling: Knowledge acquisition and model abstra... |
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
ADBIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
FTDCS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
ECOOPW
2003
Springer
15 years 3 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...