Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Entire DC Network
Malicious Mobile Code Related Experiments With An Extensible Network Simulator, Attila Ondi
Malicious Mobile Code Related Experiments With An Extensible Network Simulator, Attila Ondi
Theses and Dissertations
The automated spread of worms such as Code-Red, SQL/Slammer, and Nimda have caused costly problems to computers connected to the Internet. Even users whose machines were not vulnerable to these threats suffered a loss of productivity and experienced great frustration as connectivity and network traffic were negatively impacted during outbreaks. Although the number of new worm attacks reported in the media seems to be declining, it is vital that researchers study the effects of malicious code on the global network to understand how to defend against future threats. The choice of system for studying the spread of worms and viruses …
Type Inference, Type Improvement, And Type Simplification In A Language With User-Defined Polymorphic Relational Operators, Lajos Pál Nagy
Type Inference, Type Improvement, And Type Simplification In A Language With User-Defined Polymorphic Relational Operators, Lajos Pál Nagy
Theses and Dissertations
The overarching goal of the current thesis is to pave the road towards a comprehensive solution to the decades old problem of integrating databases and programming languages. For this purpose, we propose a record calculus as an extension of an ML-style functional programming language core. In particular, we describe: 1. a set of polymorphic record operations that are expressive enough to define the operators of the relational algebra; 2. a type system together with a type inference algorithm, based on the theory of qualified types, to correctly capture the types of said polymorphic record operations; 3. an algorithm for checking …