10159 search results - page 581 / 2032 » System Design Validation Using Formal Models |
174
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
168
Voted
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
211
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Protein kinases play crucial roles in cell growth, differentiation, and apoptosis. Abnormal function of protein kinases can lead to many serious diseases, such as canc...
163
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
175
Voted
DAGSTUHL
2003
15 years 8 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...