4890 search results - page 202 / 978 » From system specifications to component behavioral models |
167
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
157
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
168
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
169
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Web portals hosting large-scale internet applications have become popular due to the variety of services they provide to their users. These portals are developed using co...
167
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...