3224 search results - page 553 / 645 » Abstract Error Projection |
195
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
147
click to vote
APIN
2008
15 years 6 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
189
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
140
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
The intricate intracellular infrastructure of all known life forms is based on proteins. The folded shape of a protein determines both the protein’s function and the set of mole...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...