Sciweavers

3544 search results - page 294 / 709
» Software Testing
Sort
View
CTRSA
2012
Springer
229views Cryptology» more  CTRSA 2012»
14 years 2 months ago
Practical Realisation and Elimination of an ECC-Related Software Bug Attack
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
Billy Bob Brumley, Manuel Barbosa, Dan Page, Frede...
ICHIT
2009
Springer
16 years 1 months ago
Middleware-based distributed systems software process
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 19 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
185
Voted
FASE
2010
Springer
16 years 1 months ago
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization
This paper1 provides a motivation for the application of search based optimization to Software Engineering, an area that has come to be known as Search Based Software Engineering (...
Mark Harman
ECIS
2000
15 years 8 months ago
Software Process Management: An Organizational Learning Perspective
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
Thiagarajan Ravichandran, Arun Rai