42 search results - page 3 / 9 » Integrating COTS Software into Systems through Instrumentati... |
WETICE
2003
IEEE
13 years 10 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
LCTRTS
2001
Springer
13 years 9 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
VEE
2012
ACM
12 years 22 days ago
2012
ACM
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...
TCS
2008
13 years 5 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...