Search
Now showing items 1-7 of 7
Genetic Programming in Mathematica
(University of Durban-Westville, 1997-01)
GP has traditionally been implemented in LISP but there is a slow migration towards faster languages like C++. Any implementation language is dictated not only by the speed of the platform but also by the desirability of ...
Modelos Estatísticos Espaciais no Planejamento da Prestação de Serviços
(Universidade Federal de Santa Catarina, 2005-02)
This thesis has the objective of systematizing the use of spatial statistical models for use in the planning of services, through the use of computational tools that allow the construction of those models. From a bibliographical ...
A General Work for the Flow Analysis of Concurrent Programs
(McGill University, 2000-08)
Standard techniques for analysing sequential programs are severely constrained when applied to a concurrent program because they cannot take full advantage of the concurrent structure of the program. In this work, we ...
Preserving digital entities: A framework for choosing and testing preservation strategies
(Vienna University of Technology, 2004-11)
The long-term preservation of digital objects has become increasingly relevant. Libraries, public institutions and museums, but also companies are requesting solutions to store their digital files with all relevant contents ...
Protokollwechsel zur Realisierung von Covert Channels und Header-Strukturveränderungen zur Vermeidung von Covert Channels
Diese Diplomarbeit befasst sich mit mehreren Unterthemen der verdeckten Kommunikationskanäle (Covert Channels) und möchte vor allen Dingen neue Themen vorstellen und diskutieren: Erstmalige und detaillierte Behandlung von ...
Enhanced Application Modeling Techniques for Web Applications
(Madison University, 2003)
The concept of Application modeling is a basic and essential component to the design and development of any computer-based application. Application modeling ensures that an application is developed to meet standards that ...
Mapping Inferences: Constraint Propagation and Diamond Satisfaction
(Universiteit van Amsterdam, 2002-12)
The main theme shared by the two main parts of this thesis is EFFICIENT AUTOMATED REASONING.Part I is focussed on a general theory underpinning a number of efficient approximate algorithms for Constraint Satisfaction ...