Sökning: "file grammar"
Hittade 5 uppsatser innehållade orden file grammar.
1. Protocol-aware fuzzing of DTLS
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Communication protocols like TCP and UDP enable transfer of databetween sender and receiver during online communication. To provide security from eavesdropping, message forgery and data tampering during online communication, communication protocols likeTLS and DTLS are run on top of TCP/UDP. LÄS MER
2. Monitor and manage system and application configuration files at kernel level in GNU/Linux
Kandidat-uppsats, Högskolan Väst/Avdelningen för data-, elektro- och lantmäteriteknikSammanfattning : The aim of this study is to investigate if there is a way a computer can accurately and automatically react on altered configuration file(s) with a minimum of resource utilization and by what means the developer(s) of an application can perform a check of the altered configuration file for their application. In a typical GNU/Linux installation the configuration files are literally counted by the thousands, monitoring these files is a task that for the most part exceeds any system administrator's abilities. LÄS MER
3. Application for Debugging and Calibration of an Underwater Robot
Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : In this thesis we present a suitable way of calibrating and debugging an autonomous underwater vehicle (AUV). The issues that occur when working with an AUV are the inconvenient way of having to constantly recompile the software to change the behavior of the AUV and the lack of feedbacksreceived. LÄS MER
4. FrontWay PaperFront to OpenModelica Translator
Master-uppsats, PELAB - Laboratoriet för programmeringsomgivningarSammanfattning : Many companies in the domain of modeling and simulation are showing interest in the new emerging OpenModelica, an object oriented modeling and simulation platform based on Modelica language. The purpose of this thesis is to study if and how simulation libraries written in ExtendSim such as PaperFront, can be semi-automatically converted to equivalent Modelica libraries. LÄS MER
5. Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage
Magister-uppsats, Institutionen för informationsteknologiSammanfattning : UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with Aalborg University inDenmark. UPPAAL can be used to model, simulate, and verify timed automata. It has been used in many case studies since the first release in 1995. LÄS MER