5843 search results - page 756 / 1169 » Software Security in Practice |
146
click to vote
IWPC
2003
IEEE
16 years 4 days ago
2003
IEEE
Legacy code can often be made more understandable and maintainable by extracting out selected sets of statements to form procedures and replacing the extracted code with procedure...
150
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
170
click to vote
ADAEUROPE
2003
Springer
16 years 3 days ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
181
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...
140
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...