864 search results - page 75 / 173 » codes 2003 |
171
click to vote
ENC
2003
IEEE
15 years 11 months ago
2003
IEEE
We discuss a set of metrics, which aims to facilitate the formation of symbol groups from a pseudoergodic information source. An optimal codification can then be applied on the sy...
174
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
145
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
151
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
152
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Refactoring, an important technique for increasing flexibility of the source code, can be applied with much ease and efficiency by using automated tools. There is currently a lack...