3555 search results - page 454 / 711 » Security-Critical System Development with Extended Use Cases |
196
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...
163
click to vote
JOT
2006
15 years 6 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
227
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
185
click to vote
TCS
2008
15 years 6 months ago
2008
We consider "swept regions" and "swept hypersurfaces"B in Rn+1 (and especially R3) which are a disjoint union of subspaces t = t or Bt = Bt obtained from a va...
172
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...