3425 search results - page 586 / 685 » A Model Driven Approach for Software Systems Reliability |
124
Voted
ENTCS
2010
15 years 3 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
158
Voted
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
115
click to vote
ICES
2003
Springer
15 years 8 months ago
2003
Springer
Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of tra...
129
click to vote
CCE
2006
15 years 3 months ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
153
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...