399 search results - page 66 / 80 » Verification of System Level Model Transformations |
165
click to vote
IIWAS
2008
15 years 7 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
192
click to vote
IJCV
2000
15 years 5 months ago
2000
We describe how to model the appearance of a 3-D object using multiple views, learn such a model from training images, and use the model for object recognition. The model uses pro...
183
click to vote
UML
1998
Springer
15 years 10 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
172
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
158
click to vote
CLUSTER
2004
IEEE
15 years 9 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...