• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • 3
  • 1
  • 1
  • Tagged with
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Protecting Functional Programs From Low-Level Attackers

Larmuseau, Adriaan January 2016 (has links)
Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. While this more modular and diversified approach to software development has enabled us to build ever larger and more complex software systems, it has, however, made it harder to ensure the reliability and security of software systems. In this thesis we study and remedy the security flaws that arise when attempting to resolve the difference in abstractions between components written in high-level functional programming languages and components written in imperative low-level programming languages. High-level functional programming languages, treat computation as the evaluation of mathematical functions. Low-level imperative programming languages, on the contrary, provide programmers with features that enable them to directly interact with the underlying hardware. While these features help programmers write more efficient software, they also make it easy to write malware through techniques such as buffer overflows and return oriented programming. Concretely, we develop new run-time approaches for protecting components written in functional programming languages from malicious components written in low-level programming languages by making using of an emerging memory isolation mechanism.This memory isolation mechanism is called the Protected Module Architecture (PMA). Informally, PMA isolates the code and data that reside within a certain area of memory by restricting access to that area based on the location of the program counter. We develop these run-time protection techniques that make use of PMA for three important areas where components written in functional programming languages are threatened by malicious low-level components: foreign function interfaces, abstract machines and compilation. In everyone of these three areas, we formally prove that our run-time protection techniques are indeed secure. In addtion to that we also provide implementations of our ideas through a fully functional compiler and a well-performing abstract machine.
2

Interoperation for Lazy and Eager Evaluation

Faught, William Jeffrey 01 May 2011 (has links)
Programmers forgo existing solutions to problems in other programming lan- guages where software interoperation proves too cumbersome; they remake so- lutions, rather than reuse them. To facilitate reuse, interoperation must resolve language incompatibilities transparently. To address part of this problem, we present a model of computation that resolves incompatible lazy and eager eval- uation strategies using dual notions of evaluation contexts and values to mirror the lazy evaluation strategy in the eager one. This method could be extended to resolve incompatible evaluation strategies for any pair of languages with common expressions.
3

Solutions towards domotic interoperability : The contribution of the OPC Standard

Serrano Betored, Jorge January 2007 (has links)
<p>This report presents the existence of a set of problems making the growth of the domotic field more difficult. They are mainly the lack of a common communication standard among devices and the existence of a proprietary market, where each provider focuses on developing its own devices, protocols and interfaces.</p><p>There isn’t a convergence criterion in order to overcome this problem by the main domotic providers. Several studies try to overcome this problem by applying different strategies. This study analyses the main strategies followed in that field, concluding with a model that combines them. The model is based on the use of OPC and web services.</p>
4

Solutions towards domotic interoperability : The contribution of the OPC Standard

Serrano Betored, Jorge January 2007 (has links)
This report presents the existence of a set of problems making the growth of the domotic field more difficult. They are mainly the lack of a common communication standard among devices and the existence of a proprietary market, where each provider focuses on developing its own devices, protocols and interfaces. There isn’t a convergence criterion in order to overcome this problem by the main domotic providers. Several studies try to overcome this problem by applying different strategies. This study analyses the main strategies followed in that field, concluding with a model that combines them. The model is based on the use of OPC and web services.
5

Integração de ambiente virtual de aprendizagem com repositório digital

Rodrigues, Alessandra Pereira January 2012 (has links)
Objetos de Aprendizagem são recursos relevantes para ensejar a aprendizagem em função de seu caráter modular, pois permitem oferecer condições para uma atividade apoiada por recursos alocados por demanda face a necessidades específicas de uma turma ou aluno em particular. Essa característica é um elemento benéfico e facilitador, mas adiciona um aspecto que dificulta seu uso, derivado da dificuldade de localização do objeto de aprendizagem apropriado para necessidades específicas. Em decorrência, existe considerável esforço de investigação de estratégias para facilitar a localização e o acesso a Objetos de Aprendizagem (OA), adequados às necessidades de alunos e professores, pois a dificuldade em realizar esses processos ocasiona uma redução na frequência de utilização e reutilização dos mesmos em atividades pedagógicas. O local usual para armazenamento desses recursos é um Repositório de Objetos de Aprendizagem (ROA). No entanto, o uso dos objetos de aprendizagem ocorre mais frequentemente no contexto de Ambientes Virtuais de Aprendizagem (AVAs). Face a essas constatações, esse trabalho de pesquisa investigou estratégias para integrar um ROA a um AVA e como esta integração pode apoiar o professor e o aluno na construção e adaptação do plano de ensino e aprendizagem. Essa tese apresenta um referencial teórico sobre Repositórios de Objetos de Aprendizagem e Ambientes Virtuais de Aprendizagem e algumas soluções implementadas para integrar esses sistemas. Além disso, propõe um modelo de integração de repositórios a AVAs e descreve sua implementação bem como resultados derivados do uso da solução integradora construída. Os sistemas escolhidos para validar o modelo implementado foram o repositório CESTA2 e o AVA MOODLE. A hipótese principal é a de que a integração dos sistemas permite que os OA possam ser mais facilmente agregados pelo professor ao AVA no planejamento das unidades de aprendizagem de uma disciplina ou curso e permite que esses recursos sejam recomendados pelo professor ao aluno nas diversas situações de aprendizagem previamente delineadas em cada uma das unidades de aprendizagem ou que surgirem sob demanda ao longo do curso. Nesse sentido a solução proposta visa criar condições para que os OAs possam ser pesquisados e utilizados pelos alunos através de ferramentas disponíveis no próprio AVA. Para validar a integração foram realizados estudos de caso com alunos e professores de duas turmas da disciplina de Projeto de Banco de Dados Relacional do Instituto Federal Sul-rio-grandense, Campus Pelotas. Diferentemente de outros estudos realizados sobre o tema e relatados nessa tese, esse trabalho tem como foco a integração dos ambientes, com a finalidade tecnológica de verificar a interoperabilidade existente entre eles e como finalidade pedagógica verificar como essa integração pode auxiliar professores e alunos. A avaliação e validação realizadas através de estudo de caso com professores e alunos evidenciou que o modelo proposto e implementado atende às expectativas e pode apoiar professores e alunos, nas suas atividades pedagógicas e de aprendizagem, respectivamente. Além disso, o trabalho fruto dessa tese aporta contribuições importantes para as instituições de ensino que utilizam o software livre DSpace como repositório institucional e o MOODLE como AVA Institucional, pois demonstra como esses dois sistemas podem ser integrados para permitir aos seus usuários auferir todos os benefícios que essa integração pode oferecer. / Learning Objects are important resources to give opportunity to the learning according to their modular character, this way they may offer conditions to an activity supported by allocated resources by requests to the specific needs of a class or of an individual student. This characteristic is a beneficial and facilitator element, but it adds an aspect which makes its use difficult due to the learning object’s location difficulty appropriated to the specific needs. As a result, there is significant research effort of strategies in order to facilitate the location and the access to the Learning Objects (LO) adequate to the students and teachers’ needs, because the difficulty in order to perform these processes causes a decrease in the frequency of use and reuse from these ones in activities of teaching and learning. The usual place to store these resources is a Learning Objects Repository (LOR). However, the use of learning objects occurs more frequently in the Virtual Learning Environments (VLEs). Due to these findings, this study researched the strategies to integrate a Learning Objects Repository to a Virtual Learning Environment and how this integration may support the teacher and the student at the construction and adaptation of teaching and learning plan. The present thesis shows a theoretical frame about the Learning Objects Repository and Virtual Learning Environments and some solutions taken to integrate these systems. In addition, it proposes a integration model of repositories to VLEs and it describes its implementation as well as the results from the use of the integrating solution built. The systems chosen to validate the deployed model were the repository CESTA2 and the VLE MOODLE. The main hypothesis is that the integration of the systems allows that the Learning Objects may be more easily added by the teacher to the VLE at the learning unit planning to a subject our course and it allows that these resources be advised by the teacher to the student in several learning situations previously outlined in each learning unit or the ones which arises along the course. At this point of view the solution proposed aims to create conditions so that the LOs may be researched and used by the students through available tools at own VLE. In order to validate the integration were done case studies with students and teachers from two classes of Relational Database Project subject from the Instituto Federal Sul-rio-grandense, Pelotas Campus. Differently from other studies done about the topic and described at this thesis, this study focuses on the environment integration with the technological purpose in order to verify the interoperability presented between them and as teaching purpose to verify how this integration may help teachers and students. The assessment and validation performed through case study with teachers and students showed that the proposed and evidenced model meets the expectations and may support teachers and students in their teaching and learning activities, respectively. Furthermore, the study from this thesis brings important contributions to the educational institutions that use the DSpace free software as institutional repository and the MOODLE as Institutional VLE, showing how these two systems may be integrated allowing to their users all the benefits that this integration may offer.
6

Integração de ambiente virtual de aprendizagem com repositório digital

Rodrigues, Alessandra Pereira January 2012 (has links)
Objetos de Aprendizagem são recursos relevantes para ensejar a aprendizagem em função de seu caráter modular, pois permitem oferecer condições para uma atividade apoiada por recursos alocados por demanda face a necessidades específicas de uma turma ou aluno em particular. Essa característica é um elemento benéfico e facilitador, mas adiciona um aspecto que dificulta seu uso, derivado da dificuldade de localização do objeto de aprendizagem apropriado para necessidades específicas. Em decorrência, existe considerável esforço de investigação de estratégias para facilitar a localização e o acesso a Objetos de Aprendizagem (OA), adequados às necessidades de alunos e professores, pois a dificuldade em realizar esses processos ocasiona uma redução na frequência de utilização e reutilização dos mesmos em atividades pedagógicas. O local usual para armazenamento desses recursos é um Repositório de Objetos de Aprendizagem (ROA). No entanto, o uso dos objetos de aprendizagem ocorre mais frequentemente no contexto de Ambientes Virtuais de Aprendizagem (AVAs). Face a essas constatações, esse trabalho de pesquisa investigou estratégias para integrar um ROA a um AVA e como esta integração pode apoiar o professor e o aluno na construção e adaptação do plano de ensino e aprendizagem. Essa tese apresenta um referencial teórico sobre Repositórios de Objetos de Aprendizagem e Ambientes Virtuais de Aprendizagem e algumas soluções implementadas para integrar esses sistemas. Além disso, propõe um modelo de integração de repositórios a AVAs e descreve sua implementação bem como resultados derivados do uso da solução integradora construída. Os sistemas escolhidos para validar o modelo implementado foram o repositório CESTA2 e o AVA MOODLE. A hipótese principal é a de que a integração dos sistemas permite que os OA possam ser mais facilmente agregados pelo professor ao AVA no planejamento das unidades de aprendizagem de uma disciplina ou curso e permite que esses recursos sejam recomendados pelo professor ao aluno nas diversas situações de aprendizagem previamente delineadas em cada uma das unidades de aprendizagem ou que surgirem sob demanda ao longo do curso. Nesse sentido a solução proposta visa criar condições para que os OAs possam ser pesquisados e utilizados pelos alunos através de ferramentas disponíveis no próprio AVA. Para validar a integração foram realizados estudos de caso com alunos e professores de duas turmas da disciplina de Projeto de Banco de Dados Relacional do Instituto Federal Sul-rio-grandense, Campus Pelotas. Diferentemente de outros estudos realizados sobre o tema e relatados nessa tese, esse trabalho tem como foco a integração dos ambientes, com a finalidade tecnológica de verificar a interoperabilidade existente entre eles e como finalidade pedagógica verificar como essa integração pode auxiliar professores e alunos. A avaliação e validação realizadas através de estudo de caso com professores e alunos evidenciou que o modelo proposto e implementado atende às expectativas e pode apoiar professores e alunos, nas suas atividades pedagógicas e de aprendizagem, respectivamente. Além disso, o trabalho fruto dessa tese aporta contribuições importantes para as instituições de ensino que utilizam o software livre DSpace como repositório institucional e o MOODLE como AVA Institucional, pois demonstra como esses dois sistemas podem ser integrados para permitir aos seus usuários auferir todos os benefícios que essa integração pode oferecer. / Learning Objects are important resources to give opportunity to the learning according to their modular character, this way they may offer conditions to an activity supported by allocated resources by requests to the specific needs of a class or of an individual student. This characteristic is a beneficial and facilitator element, but it adds an aspect which makes its use difficult due to the learning object’s location difficulty appropriated to the specific needs. As a result, there is significant research effort of strategies in order to facilitate the location and the access to the Learning Objects (LO) adequate to the students and teachers’ needs, because the difficulty in order to perform these processes causes a decrease in the frequency of use and reuse from these ones in activities of teaching and learning. The usual place to store these resources is a Learning Objects Repository (LOR). However, the use of learning objects occurs more frequently in the Virtual Learning Environments (VLEs). Due to these findings, this study researched the strategies to integrate a Learning Objects Repository to a Virtual Learning Environment and how this integration may support the teacher and the student at the construction and adaptation of teaching and learning plan. The present thesis shows a theoretical frame about the Learning Objects Repository and Virtual Learning Environments and some solutions taken to integrate these systems. In addition, it proposes a integration model of repositories to VLEs and it describes its implementation as well as the results from the use of the integrating solution built. The systems chosen to validate the deployed model were the repository CESTA2 and the VLE MOODLE. The main hypothesis is that the integration of the systems allows that the Learning Objects may be more easily added by the teacher to the VLE at the learning unit planning to a subject our course and it allows that these resources be advised by the teacher to the student in several learning situations previously outlined in each learning unit or the ones which arises along the course. At this point of view the solution proposed aims to create conditions so that the LOs may be researched and used by the students through available tools at own VLE. In order to validate the integration were done case studies with students and teachers from two classes of Relational Database Project subject from the Instituto Federal Sul-rio-grandense, Pelotas Campus. Differently from other studies done about the topic and described at this thesis, this study focuses on the environment integration with the technological purpose in order to verify the interoperability presented between them and as teaching purpose to verify how this integration may help teachers and students. The assessment and validation performed through case study with teachers and students showed that the proposed and evidenced model meets the expectations and may support teachers and students in their teaching and learning activities, respectively. Furthermore, the study from this thesis brings important contributions to the educational institutions that use the DSpace free software as institutional repository and the MOODLE as Institutional VLE, showing how these two systems may be integrated allowing to their users all the benefits that this integration may offer.
7

Integração de ambiente virtual de aprendizagem com repositório digital

Rodrigues, Alessandra Pereira January 2012 (has links)
Objetos de Aprendizagem são recursos relevantes para ensejar a aprendizagem em função de seu caráter modular, pois permitem oferecer condições para uma atividade apoiada por recursos alocados por demanda face a necessidades específicas de uma turma ou aluno em particular. Essa característica é um elemento benéfico e facilitador, mas adiciona um aspecto que dificulta seu uso, derivado da dificuldade de localização do objeto de aprendizagem apropriado para necessidades específicas. Em decorrência, existe considerável esforço de investigação de estratégias para facilitar a localização e o acesso a Objetos de Aprendizagem (OA), adequados às necessidades de alunos e professores, pois a dificuldade em realizar esses processos ocasiona uma redução na frequência de utilização e reutilização dos mesmos em atividades pedagógicas. O local usual para armazenamento desses recursos é um Repositório de Objetos de Aprendizagem (ROA). No entanto, o uso dos objetos de aprendizagem ocorre mais frequentemente no contexto de Ambientes Virtuais de Aprendizagem (AVAs). Face a essas constatações, esse trabalho de pesquisa investigou estratégias para integrar um ROA a um AVA e como esta integração pode apoiar o professor e o aluno na construção e adaptação do plano de ensino e aprendizagem. Essa tese apresenta um referencial teórico sobre Repositórios de Objetos de Aprendizagem e Ambientes Virtuais de Aprendizagem e algumas soluções implementadas para integrar esses sistemas. Além disso, propõe um modelo de integração de repositórios a AVAs e descreve sua implementação bem como resultados derivados do uso da solução integradora construída. Os sistemas escolhidos para validar o modelo implementado foram o repositório CESTA2 e o AVA MOODLE. A hipótese principal é a de que a integração dos sistemas permite que os OA possam ser mais facilmente agregados pelo professor ao AVA no planejamento das unidades de aprendizagem de uma disciplina ou curso e permite que esses recursos sejam recomendados pelo professor ao aluno nas diversas situações de aprendizagem previamente delineadas em cada uma das unidades de aprendizagem ou que surgirem sob demanda ao longo do curso. Nesse sentido a solução proposta visa criar condições para que os OAs possam ser pesquisados e utilizados pelos alunos através de ferramentas disponíveis no próprio AVA. Para validar a integração foram realizados estudos de caso com alunos e professores de duas turmas da disciplina de Projeto de Banco de Dados Relacional do Instituto Federal Sul-rio-grandense, Campus Pelotas. Diferentemente de outros estudos realizados sobre o tema e relatados nessa tese, esse trabalho tem como foco a integração dos ambientes, com a finalidade tecnológica de verificar a interoperabilidade existente entre eles e como finalidade pedagógica verificar como essa integração pode auxiliar professores e alunos. A avaliação e validação realizadas através de estudo de caso com professores e alunos evidenciou que o modelo proposto e implementado atende às expectativas e pode apoiar professores e alunos, nas suas atividades pedagógicas e de aprendizagem, respectivamente. Além disso, o trabalho fruto dessa tese aporta contribuições importantes para as instituições de ensino que utilizam o software livre DSpace como repositório institucional e o MOODLE como AVA Institucional, pois demonstra como esses dois sistemas podem ser integrados para permitir aos seus usuários auferir todos os benefícios que essa integração pode oferecer. / Learning Objects are important resources to give opportunity to the learning according to their modular character, this way they may offer conditions to an activity supported by allocated resources by requests to the specific needs of a class or of an individual student. This characteristic is a beneficial and facilitator element, but it adds an aspect which makes its use difficult due to the learning object’s location difficulty appropriated to the specific needs. As a result, there is significant research effort of strategies in order to facilitate the location and the access to the Learning Objects (LO) adequate to the students and teachers’ needs, because the difficulty in order to perform these processes causes a decrease in the frequency of use and reuse from these ones in activities of teaching and learning. The usual place to store these resources is a Learning Objects Repository (LOR). However, the use of learning objects occurs more frequently in the Virtual Learning Environments (VLEs). Due to these findings, this study researched the strategies to integrate a Learning Objects Repository to a Virtual Learning Environment and how this integration may support the teacher and the student at the construction and adaptation of teaching and learning plan. The present thesis shows a theoretical frame about the Learning Objects Repository and Virtual Learning Environments and some solutions taken to integrate these systems. In addition, it proposes a integration model of repositories to VLEs and it describes its implementation as well as the results from the use of the integrating solution built. The systems chosen to validate the deployed model were the repository CESTA2 and the VLE MOODLE. The main hypothesis is that the integration of the systems allows that the Learning Objects may be more easily added by the teacher to the VLE at the learning unit planning to a subject our course and it allows that these resources be advised by the teacher to the student in several learning situations previously outlined in each learning unit or the ones which arises along the course. At this point of view the solution proposed aims to create conditions so that the LOs may be researched and used by the students through available tools at own VLE. In order to validate the integration were done case studies with students and teachers from two classes of Relational Database Project subject from the Instituto Federal Sul-rio-grandense, Pelotas Campus. Differently from other studies done about the topic and described at this thesis, this study focuses on the environment integration with the technological purpose in order to verify the interoperability presented between them and as teaching purpose to verify how this integration may help teachers and students. The assessment and validation performed through case study with teachers and students showed that the proposed and evidenced model meets the expectations and may support teachers and students in their teaching and learning activities, respectively. Furthermore, the study from this thesis brings important contributions to the educational institutions that use the DSpace free software as institutional repository and the MOODLE as Institutional VLE, showing how these two systems may be integrated allowing to their users all the benefits that this integration may offer.
8

Secure interoperation of wireless technologies

Croft, Neil John 07 December 2004 (has links)
Tremendous emphasis has been placed on wireless technologies recently and it is expected that mobile communications will become an even bigger key driver for growth and innovation in the near future. The purpose of this paper is to study the securing, development, integration and implementation of an always on, always available, and accessible from anywhere secure wireless communication environment. Our analysis of the different wireless technologies reveals that a number of obstacles have to be managed before truly transparent wireless public data consumer offering is available. Our concern revolves around the technical development and implementation efforts of integrated wireless technologies enveloped with management processes of change and evolution. Wireless technologies have influenced our daily lives and will undoubtedly continue to play a significant role in the future. This dissertation focuses on the interoperation of wireless technologies, exploring, evaluating and presenting representations of secure, fully integrated wireless environments. The purpose is to find a cost effective, open, viable, sustainable consumer orientated high data speed offering which not only adheres to basic security requirements but surpasses it. By bringing the network to the subscriber we generate an “always-on” and “always-available” solution for data requirements fulfilling an ever increasing human demand for access to resources anywhere, anytime. A background literature of various wireless technologies, techniques and value added services is provided. An approach for the securing of critical content over wireless links in chapter seven provides a basis for access by position concepts presented in chapter eight. This secure approach to location-aware mobile access control is an essential security enhancement in the integration and interoperation models illustrated in chapter nine. These models, appropriately named SWARM 1 and SWARM 2 (System for Wireless and Roaming Mobility), illustrate different approaches to achieving a secure, fully coherent, consumer orientated, wireless data communications environment. / Dissertation (MSc (Computer Science))--University of Pretoria, 2003. / Computer Science / unrestricted
9

Folkmusik från pappret : En självstudie i att lära sig traditionell folkmusik genom notläsning / Folk music from the paper : A self-study in learning traditional folk music through notation

Sidén, Simon January 2021 (has links)
Under åtta veckor har jag lärt mig åtta nya folkmusiklåtar genom notläsning. Vanligtvis arbetar folkmusiker utifrån en gehörstradition och nu ville jag utmana mig själv med ett annat tillvägagångssätt. Syftet var att avgöra hur min inlärningsprocess påverkas, hur memoreringen av låtarna påverkas och hur jag upplever min tolkning av “svänget” när jag jobbar utifrån notläsning.  Varje vecka har jag jobbat med en ny låt och genom utförliga anteckningar i min loggbok samt ljudinspelningar har jag kommit fram till flera resultat kring hur projektet upplev- des. Mina egna reflektioner kring processen sammanfattas i resultatet i form av ett feno- menologiskt perspektiv. / I have been learning eight traditional Swedish tunes in eight weeks by reading sheet mu- sic. This kind of music is usually taught through showing and listening to others, but I wanted to challenge myself with another way of working. The purpose is to see how my process of learning and adapt a tune is affected, how my memorizing is affected and how my assumption of a “groove” is affected.  Each week I have worked with a new tune and during the process I have written down notes in my notebook and recorded how I sound early on and afterwards. These tools have led me too a result of how I felt and what I have realized after the project.
10

Projektování logistických řetězců pomocí počítačové simulace / Planning of logistics processes by computer simulation

Sedláček, Martin January 2017 (has links)
Contents of this diploma thesis is creating of the simulation model of the logistic chain of the internal transport to evaluation of the impacts of the projected changes of the parameters of the logistic chain. The simulation model is created in Plant Simulation software by association Siemens PLM Software. An analysis of the discussed area is also included in the thesis. With the help of the simulation model it is tested if the modification of the logistic chain elements has positive impact on important characteristics of production of the given area. Conclusion are made from the results of the experiments and a modification of the logistic chain is suggested.

Page generated in 0.3245 seconds