5525 search results - page 308 / 1105 » Verification of Model Transformations |
161
Voted
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Poor performance of HW/SW cosimulation is mainly caused by synchronization requirement between component simulators. Virtual synchronization technique was proposed to remove the n...
166
click to vote
IVA
2007
Springer
16 years 26 days ago
2007
Springer
We present the platform for IVAs development in the human like environment of the first-person shooter game Unreal Tournament 2004. This environment is extendible and supported by ...
172
click to vote
AVBPA
2005
Springer
16 years 8 days ago
2005
Springer
For Pen-input on-line signature verification algorithms, the influence of intersession variability is a considerable problem because hand-written signatures change with time, causi...
168
click to vote
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
161
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...