2935 search results - page 47 / 587 » An Integrated Approach to High Integrity Software Verificati... |
139
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 9 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
141
click to vote
PST
2008
15 years 5 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
133
click to vote
IH
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
145
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
127
click to vote
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...