5525 search results - page 826 / 1105 » Verification of Model Transformations |
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
193
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
163
click to vote
DPD
2002
15 years 6 months ago
2002
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
164
click to vote
ISJ
2002
15 years 6 months ago
2002
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
199
click to vote
NC
2010
15 years 5 months ago
2010
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...