1663 search results - page 138 / 333 » Software Reuse and Safety |
ICSE
1989
IEEE-ACM
14 years 1 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
ECCE
2011
12 years 9 months ago
2011
Motivation – This research deals with the identification of collective production of a safe radiotherapy treatment and its potential assistance through computer-supported enviro...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...