Sciweavers

5718 search results - page 205 / 1144
» Modeling Rule Precision
Sort
View
CN
2002
86views more  CN 2002»
15 years 6 months ago
MSL: a model for W3C XML Schema
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip...
DCC
2004
IEEE
16 years 6 months ago
Universal Coding of Function Spaces as a Model for Signal Compression
We address the problem of signal compression, basing on the mathematical model, in which a set of all possible signals is considered as a function space with a metric . The main a...
Boris Ryabko, Jaakko Astola
CIE
2010
Springer
15 years 11 months ago
On the Completeness of Quantum Computation Models
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
Pablo Arrighi, Gilles Dowek
ICRE
2000
IEEE
15 years 10 months ago
A Lightweight Approach to Consistency of Scenarios and Class Models
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
Martin Glinz
UML
2004
Springer
15 years 12 months ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...