10871 search results - page 1791 / 2175 » A stable programming language |
199
click to vote
COMSWARE
2006
IEEE
16 years 27 days ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
194
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
Instruction set simulators are common tools used for the development of new architectures and embedded software among countless other functions. This paper presents a framework th...
208
click to vote
ICAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
170
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
221
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...