10159 search results - page 454 / 2032 » System Design Validation Using Formal Models |
156
click to vote
JSS
2007
15 years 4 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
141
click to vote
ISOLA
2007
Springer
15 years 11 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
139
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
161
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider the `group motion segmentation' problem and provide a solution for it. The group motion segmentation problem aims at analyzing motion trajectories of multiple obj...
154
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present methods for improving text search retrieval of visual multimedia content by applying a set of visual models of semantic concepts from a lexicon of concepts deemed relev...