337 search results - page 10 / 68 » An Axiomatic Formalization of UML Models |
ACSC
2004
IEEE
14 years 10 days ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
IJWIS
2006
13 years 8 months ago
2006
In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources.
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
Existing retrieval models generally do not offer any guarantee for optimal retrieval performance. Indeed, it is even difficult, if not impossible, to predict a model’s empirica...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...