5843 search results - page 930 / 1169 » Software Security in Practice |
191
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
192
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
161
click to vote
LSO
2004
Springer
15 years 11 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
145
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
135
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...