1963 search results - page 14 / 393 » How is aliasing used in systems software |
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
CASCON
1997
13 years 9 months ago
1997
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
– With our proposed decomposition into layers, a generic framework leading to the reuse of previously produced software and the extraction of useful portions can be achieved. The...