14056 search results - page 116 / 2812 » Consistency in Model Integration |
134
click to vote
IWPC
2005
IEEE
15 years 11 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
162
click to vote
HPCA
1996
IEEE
15 years 10 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
158
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
182
click to vote
DAGM
2009
Springer
16 years 22 days ago
2009
Springer
This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of...
157
click to vote
KBSE
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...