4036 search results - page 480 / 808 » Formal Methods |
159
Voted
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
150
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
175
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
151
click to vote
SMI
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
139
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...