5525 search results - page 342 / 1105 » Verification of Model Transformations |
130
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
196
click to vote
FMOODS
2003
15 years 8 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
207
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we study face recognition across ages within a real passport photo verification task. First, we propose using the gradient orientation pyramid for this task. Discard...
200
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
185
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...