10575 search results - page 1722 / 2115 » T2Script Programming Language |
165
click to vote
COMSWARE
2006
IEEE
15 years 11 months 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...
147
click to vote
DATE
2006
IEEE
15 years 11 months 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...
173
click to vote
ICAC
2006
IEEE
15 years 11 months 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...
135
Voted
KBSE
2006
IEEE
15 years 11 months 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...
173
Voted
KBSE
2006
IEEE
15 years 11 months 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...