3828 search results - page 352 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
185
click to vote
WIAS
2010
15 years 5 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
180
click to vote
CCECE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...
159
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
203
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...