1963 search results - page 16 / 393 » How is aliasing used in systems software |
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
COMPSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
DRMTICS
2005
Springer
14 years 2 months ago
2005
Springer
This chapter overviews the legal issues arising from the modification of the Sony PlayStation console under Australian Copyright Law - the so called anti-circumvention provisions....
MSR
2005
ACM
14 years 2 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...