18069 research outputs found
Sort by
Entwurf und Implementierung eines Mechanismus zur Erhöhung der Modularität und Wiederverwendbarkeit in einem Modellierungstool
Get PDFModularität ist ein ein entscheidendes Prinzip zur Reduktion von Komplexität und zur Förderung der Wiederverwendbarkeit in der Softwareentwicklung wie auch der Modellierung. Das Open-Source Modellierungswerkzeug USE ermöglicht die textuelle Spezifikation und Validierung von Systemen, bietet bislang jedoch keine Unterstützung für modulare Strukturen. In dieser Arbeit wird ein Importmechanismus für USE entwickelt, der es erlaubt, externe Modelle in bestehende Spezifikationen einzubinden. Dadurch können wiederverwendbare Modellbestandteile, wie etwa benutzerdefinierte Datentypen, zentral definiert und projektübergreifend genutzt werden. Dies verringert Redundanz, vereinfacht die Wartung und verbessert die Konsistenz modellbasierter Spezifikationen.Modularity is a key principle to reduce complexity and promote reusability in software development and modeling. The open-source modeling tool USE enables the textual specification and validation of systems but currently lacks support for modular structures. This work introduces an import mechanism for USE that allows external models to be integrated into existing specifications. As a result, reusable model components, such as user defined data types, can be defined once and then utilized across multiple models. This reduces redundancy, facilitates maintenance and improves the consistency of modelbased specifications
Porträt eines Bildungswegs - Bennata Otten als zweite deutsche Bibliotheksleiterin im frühen 20. Jahrhundert
No full textIn diesem Porträt wird der Bildungsweg und Werdegang von Bennata Otten beschrieben. Dabei werden ihre Kindheit und Schulzeit an einer höheren Mädchenschule, die Teilnahme an einem der ersten bibliothekarischen Lehrgänge für Frauen, ihre private Weiterbildung und die Arbeit als Leiterin der Lübecker Öffentlichen Bücherhalle (1906-1923) beleuchtet.This portrait describes Bennata Otten’s education and career. It covers her childhood and school years at a girls’ school, her participation in one of the first library courses for women, her private further education, and her work as director of the Lübeck Public Library (1906–1923)
Simple measurements of light pollution theme : measurement and modeling
No full textEuropäische KommissionNonPeerReviewe
Rumo a um modelo de porto verde : ajudar os portos a progredir na direção da sustentabilidade
No full textThe SDGs highlight the need to make modes of transport sustainable. Ports are of sig-nificant economic importance, but th/ey must also be aligned with sustainability. To help solve this problem, green ports are an option. Objective: This research aims to propose an evaluation model for a green port, with indicators and sub-indicators. A total of 10 indicators were mapped from the literature, with a group of 45 sub-indicators. Contribution: This research contributes to this topic in the literature by presenting a set of relevant indicators and helping ports progress towards their sustainability-related objectives. Conclusions: It is concluded that the most relevant indicators in the literature are: Emissions reduction and efforts to ensure Energy Management; Air quality; Noise pollution; Water management; Cost and savings; Materials, inputs and resources; Indoor environmental quality; Construction project management; Social indicators; and Port operations management. Furthermore, the indicators and sub-indicators were verified by experts in the port sector and applied using documentary sources from internationally recognized ports.Los ODS resaltan la necesidad de hacer que los modos de transporte sean sostenibles. Los puertos tienen una importancia económica significativa, pero también deben estar alineados con la sostenibilidad. Para ayudar a resolver este problema, los puertos verdes son una opción. Objetivo: Esta investigación tiene como objetivo proponer un modelo de evaluación para un puerto verde, con indicadores y subindicadores. Se mapearon un total de 10 indicadores de la literatura, con un grupo de 45 subindicadores. Contribución: Esta investigación contribuye a este tema en la literatura al presentar un conjunto de indicadores relevantes y ayudar a los puertos a progresar hacia sus objetivos relacionados con la sostenibilidad. Conclusiones: Se concluye que los indicadores más relevantes en la literatura son: Reducción de emisiones y esfuerzos para asegurar la Gestión de la Energía; Calidad del aire; Contaminación acústica; Gestión del agua; Costos y ahorros; Materiales, insumos y recursos; Calidad ambiental interior; Gestión de pro-yectos de construcción; Indicadores sociales; y Gestión de operaciones portuarias. Además, los indicadores y subindicadores fueron verificados por expertos en el sector portuario y aplicados utilizando fuentes documentales de puertos reconocidos internacionalmente.Os ODS destacam a necessidade de tornar os modos de transporte sustentáveis. Os portos são de importância econômica relevante, mas também devem estar alinhados com a sustentabilidade. Para ajudar a resolver esse problema, os portos verdes são uma opção. Obje-tivo: Esta pesquisa visa propor um modelo de avaliação para um porto verde, com indicadores e subindicadores. Um total de 10 indicadores foram mapeados na literatura com um grupo de 45 subindicadores. Contribuição: Esta pesquisa contribui para este tema na literatura ao apre-sentar um conjunto de indicadores relevantes e ajudar os portos a progredir com seus objetivos relacionados à sustentabilidade. Conclusões: Conclui-se que os indicadores mais relevantes na literatura são: Redução de emissões e esforços para garantir a Gestão de Energia; Qualidade do ar; Poluição sonora; Gestão da água; Custo e economia; Materiais, insumos e recursos; Qua-lidade do ambiente interno; Gestão de projetos de construção; Indicadores sociais; e Gestão de operações portuárias. Além disso, os indicadores e subindicadores foram verificados por especialistas do setor portuário e aplicados por meio de fontes documentais em portos reco-nhecidos internacionalmente.PeerReviewe
Für ein stärkeres Engagement der Universitäten bei der Bewältigung der Herausforderungen des Klimawandels
No full textAlternativeReviewe
AirBridge Pro : a programmable multiradio outdoor gateway for IoT research and measurement
No full textPeerReviewe
Building automotive security on internet standards : an integration of DNSSEC, DANE, and DANCE to authenticate and authorize in-car services
No full textThe automotive industry is undergoing a software-as-a-service transformation that enables software-defined functions and post-sale updates via cloud and vehicle-to-everything communication. Connectivity in cars introduces significant security challenges, as remote attacks on vehicles have become increasingly prevalent. Current automotive designs call for security solutions that address the entire lifetime of a vehicle. In this paper, we propose to authenticate and authorize in-vehicle services by integrating DNSSEC, DANE, and DANCE with automotive middleware. Our approach decouples the cryptographic authentication of the service from that of the service deployment with the help of DNSSEC and thereby largely simplifies key management. We propose to authenticate in-vehicle services by certificates that are solely generated by the service suppliers but published on deployment via DNSSEC TLSA records solely signed by the OEM. Building on well-established Internet standards ensures interoperability with various current and future protocols, scalable management of credentials for millions of connected vehicles at well-established security levels. We back our design proposal by a security analysis using the STRIDE threat model and by evaluations in a realistic in-vehicle setup that demonstrate its effectiveness.ReviewPendin
