Sciweavers

1148 search results - page 16 / 230
» Software engineering considered harmful
Sort
View
VSTTE
2005
Springer
14 years 3 months ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans
ACSAC
2006
IEEE
14 years 3 months ago
Engineering Sufficiently Secure Computing
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
Brian Witten
ESSOS
2010
Springer
14 years 6 months ago
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests
Protecting users in the ubiquitous online world is becoming more and more important, as shown by web application security – or the lack thereof – making the mainstream news. On...
Philippe De Ryck, Lieven Desmet, Thomas Heyman, Fr...
ISPASS
2006
IEEE
14 years 3 months ago
Friendly fire: understanding the effects of multiprocessor prefetches
Modern processors attempt to overcome increasing memory latencies by anticipating future references and prefetching those blocks from memory. The behavior and possible negative si...
Natalie D. Enright Jerger, Eric L. Hill, Mikko H. ...
ASWSD
2004
Springer
14 years 3 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai