3645 search results - page 585 / 729 » Implementing mapping composition |
143
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
137
Voted
JSSPP
2009
Springer
15 years 11 months ago
2009
Springer
The number of applications with many parallel cooperating processes is steadily increasing, and developing efficient runtimes for their execution is an important task. Several fram...
170
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
IT projects often face the challenge of harmonizing metadata and data so as to have a “single” version of the truth. Determining equivalency of multiple data instances against ...
157
click to vote
SAMOS
2009
Springer
15 years 11 months ago
2009
Springer
Tomography is a powerful technique for three-dimensional imaging, that deals with image reconstruction from a series of projection images, acquired along a range of viewing directi...
195
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...