5525 search results - page 757 / 1105 » Verification of Model Transformations |
178
click to vote
GMP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...
176
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
176
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
177
Voted
JHSN
2006
15 years 6 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...