2935 search results - page 263 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
CACM
2006
15 years 6 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
179
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Deep sub-micron processing technologies have enabled the implementation of new application-specificembeddedarchitecturesthat integrate multiple software programmable processors (e...
164
click to vote
ACNS
2006
Springer
16 years 18 days ago
2006
Springer
Dependable digital signing service requires both high fault-tolerance and high intrusion-tolerance. While providing high fault-tolerance, existing approaches do not satisfy the hig...
184
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
177
click to vote
QSIC
2006
IEEE
16 years 19 days ago
2006
IEEE
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...