10159 search results - page 481 / 2032 » System Design Validation Using Formal Models |
159
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
158
click to vote
BCS
2008
15 years 6 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
146
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
149
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
126
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this work, we present a framework for the development of a planar mobile robot controller based on image plane feedback. We show that the design of such a motion controller ...