5525 search results - page 936 / 1105 » Verification of Model Transformations |
139
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
138
click to vote
WAIM
2005
Springer
15 years 9 months ago
2005
Springer
It is well known that a formal framework for the schema matching problem (SMP) is important because it facilitates the building of algorithm model and the evaluation of algorithms....
124
click to vote
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
151
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
115
click to vote
FIDJI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...