yusuke1997/dblp-id-title huggingface dataset:
WattDB - A Cluster of Wimpy Processing Nodes to Approximate Energy Proportionality
Geschäftsmodelle und Wertschöpfungsketten im Cloud Computing
Lesende und gläubige Roboter im Film - Die Angst vor der Identitätsbildung von Maschinen
Bildung sichtbar machen - Education Feedback Management (EduFM)
Prioritätsmechanismen für Kommunikationssysteme der Prozeßkontrolle
Auswirkungen neuer Benutzungsoberflächen auf die Systeminfrastrukturen betrieblicher Informationsverarbeitung
Game-based Learning: Acquiring Supply Chain Management Skills Through Playing Computer Games
Towards an Alignment of Declarative Modelling and Model-to-Model Transformation Languages
Datenmodellierung in der Anwendungsentwicklung mit NoSQL-Datenbanken
Digitalisierung im Geschäftsprozessmanagement: Potentiale und Herausforderungen
Photogrammetry based digital twin for Mar Mattai Monastery
"HySLAC" - A Conceptual Model for Service Level Agreement Compliance in Hybrid Cloud Architectures
Audioschnitt in digitalen Noten
Return-Address Protection in C/C++ Code by Dependability Aspects
Shifting the process of exam preparation towards active learning: A crowdsourcing based approach
Ein Bewegungskostenmodell für personalisierte Fitnesstrainer in ortsbezogenen Spielen
An Efficient Implementation of the Greedy Forwarding Strategy
Konstrukte zur Darstellung und Prüfung semantischer Regeln
Keynote: Linked Data Technologien für das Internet der Dinge
Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies
The Collaborative Carrier Vehicle Routing Problem for Capacitated Traveling Salesman Tours
Schlüsselqualifikationen in der Ausbildung des Software Engineering - ein Dilemma und ein möglicher Ausweg
Use Cases and Concepts for 3D Visualisation in Manufacturing
Herausforderungen bei der Sicherung von Automatisierungssystemen gegen netzwerkbasierte Angriffe
Sensordatenerhebung Komfortbezogener Einflüsse auf den Radverkehr
A Multimedia Multiuser Strategic Planning System
Benutzermodellierung mit Hilfe neuronaler Netze
Durch Computerunterstütztes Lernen zu Wettbewerbsvorteilen in der unternehmensexternen Kommunikation
Declarative Modelling and Efficient Optimization using Constraint Technology
Innovation durch Kooperation im Software-Engineering
PDA- and Agent-based Execution of Work of Tasks
Probleme und Lösungsansätze für P2P-IR-Systeme
Unraveling the Structure and Assessing the Quality of Protein Interaction Networks with Power Graph Analysis
Integration von Usability-Methoden in Vorgehensmodelle der Softwareentwicklung im Kontext betrieblicher Umweltinformationssysteme
33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29 - October 2, 2003
Sichere Benutzeroberflächen mittels DirektX
Industrie 4.0-Readiness: Eine empirische Fallstudie in der Automobilproduktion
XML-Basierte Internetanbindung Technischer Prozesse
Visualization Activities in the UK
Vertriebskonfiguratoren in der Dienstleistungswirtschaft - Status Quo in der Praxis
Towards a Novel Architecture to Support Universal Location Awareness
Vorwort: Gamification und Virtuelle Welten (GameWorlds)
Dense rotation invariant brain pyramids for automated human brain parcellation
Simulationsverfahren für aerogasdynamische Netzobjekte
Towards Collaborative Predictive Maintenance Leveraging Private Cross-Company Data
Sicherheitsaspekte von Computernetzwerken
Vertraulichkeit durch Technik anlässlich der Umsetzung von Art. 29 NIS-2-RL
Expertensysteme und das medizinische Umfeld: Eine Einführung in das Thema
Together Forward: Employee-driven Innovation as a Driver for Twin Transformation in Higher Education
Image Digitization and Its Influence on Shape Properties in Finite Dimensions
Elektronische Wissensmärkte
Auswertung naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung
Generating Product-based Availability Overviews for Fixed Line Network Access Points
Better ready than just aware: Data and AI Literacy as an enabler for informed decision making in the data age
Project ATHENA as a Next Generation Educational Computing System
Neufassung der Norm DIN/IEC 61508 - Anforderungen an Software in sicherheitsrelevanten industriellen Rechensytemen
Die Dokumentenbeschreibungssprache der Wissenswerkstatt Rechenssyteme
Computereinsatz und Konzernstrategien
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
Induction Principles for Context-Free Languages
Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems
Embodied Artificial Intelligence - On the role of morphology and materials in the emergence of cognitition
Plug-and-work von Produktionsanlagen und übergeordneter Software
Knowledge-Based Short Text Categorization Using Entity and Category Embedding
Informatikanwendungen im Umweltbereich. Eine Einführung in das Fachgespräch
Micro Online Reverse Auctions für allgegenwärtige C2B-Koordination
Textual Descriptions Used for Classification of Oaked vs Unoaked Wines
Direct Detection and Location of Multiple Sources with Intermittent Emission
Literaturstudie zu den Handlungsbereichen einer Governance für den Einsatz von KI-Systemen im Unternehmen
Integration von Animations- und Simulationswerkzeugen in den Design-Prozeß
Der Präsidiumsarbeitskreis "Digitale Souveränität" der Gesellschaft für Informatik e.V
Strategisches zu Campusmanagementsoftware
Professional Digital Literacy - Ein zweistufiges Ausbildungskonzept für den gehobenen nichttechnischen Dienst der Öffentlichen Verwaltung
Regelsprachraum für die annotationsbasierte Prozessmodellierung im Precision Dairy Farming
Systemintegration bei Mobile Computing Anwendungen
Anwendung von Plane-sweep Verfahren bei der Layouterzeugung integrierter Schaltungen
Einige Untersuchungen zur Vorbereitung der Zentralisierungs- / Dezentralisierungsentscheidung in der betrieblichen Datenverarbeitung
A Comprehensive Model for Revealing Anomaly in Network Data Flow
Replikationsbasierte Skalierbare Parallelisierung Virtueller Umgebungen [Replication-based Scalable Parallelisation of Virtual Environments]
Agile Participation in Interdisciplinary Projects
Benefits of a Multi-GNSS Receiver in an Interference Environment
Chancen und Herausforderungen von Virtual Reality in der Aus- und Weiterbildung im Gesundheitswesen
Toward a Methodology for Designing Large Systems and Verifying Their Properties
Die Rolle der Biologie bei der Herausbildung des frühen kybernetischen Denkens in Deutschland
Entwicklung eines Music Information Retrieval-Tools zur Melodic Similarity-Analyse deutschsprachiger Volkslieder
Geocast Routing - Performance of LBM and GeoGRID
Using Transfer Learning for Quality Improved Forecasting of Temporal Agricultural Processes by Adapting Convolutional Neural Networks
E-BPMS: Ein Modellierungs-Framework für E-Business-Anwendungen
Multisensor Based Generation of Templates for Object Tracking in Complex Scenarios
Handgestenerkennung durch Computersehen
Rendern von Unterteilungsflächen mittels Hardware Tessellierung
The ArmarX Framework - Supporting high level robot programming through state disclosure
Visualisierung in der Bioinformatik
Kontext-Indexierung in Dokumentenbeständen - ein innovativer Beitrag der Documentenverwaltung für betriebliches Wissenmanagement
Semantics of Disjunctive Programs: A Unifying Approach
Systematic Assessment of Computer Systems Architectures
Qualitätsziel-orientierter Architekturentwurf und Traceability für weiterentwickelbare Software-Systeme
Bewertung und Selektion konkurrierender Standards
Exkurs 1: Schutz der Privatheit bei ePartizipation
Classifying Documents by Distributed P2P Clustering
Verbesserung des Durchsatzes von drahtlosen Hochgeschwindigkeitskommunikationen
Einführung in das Fachgespräch "Telearbeit"
ADEPT: Ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger, kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen
Online Ideation Games as Means to Change
Vorgangsaspekte im Dienstleistungsbereich
Die Zukunft (er)finden!
An Overview of Various 3D Scanning Methods in the Context of Cultural Heritage Documentation
Success Factors for Requirement Patterns Approaches - Exploring Requirements Analysts' Opinions and Whishes
An evolutionary approach to IT support for medical supply centers
Online-Partizipation in der EU? - Erste Erfahrungen mit Europäischen Bürgerinitiativen aus Sicht Österreichs
UseNeTs: Test- und Steuerungsumgebung für Software in großen drahtlosen Sensornetzen
Privacy by Design am Beispiel einer Plattform zur Unterstützung kollaborativer Reflexion am Arbeitsplatz
CompoNex: Ein elektronischer Marktplatz für den Handel mit Software-Komponenten über das Internet
4. Workshop Nachhaltige Wertschöpfungssysteme
Marketing der Bildagenturen - Skizzierung aktueller Entwicklungen und neuer Herausforderungen durch Datenbanktechnologie und Globalisierung
Self-Diagnosis for Parallel Computers
Formale Verifikation des Befehlssatzes eines SystemC Mikroprozessors
Ein mobiles multimediales medizinisches Informationssystem
Dynamische Code-Evolution für Java
Sicherheitsprobleme elektronischer Wahlauszählungssysteme in der Praxis
Sequential networks for cosmic ray simulations
TRANSTEC - Internet-basiertes multimediales Lernsystem für innovative Hochtechnologien
WCET-fähige Quellcode- und Assembler-Optimierungstechniken für Realzeitsysteme
Benutzerzentrierte E-Partizipation: Typologie, Anforderungen und Gestaltungsempfehlungen
Parteien als Dienstleistungsanbieter für den Bürger
Die "Dresden Image Database" für die Entwicklung und Validierung von Methoden der digitalen Bildforensik
Flächenbezogene Datenstrukturen
Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts
"Civic Energy Informer" - Facilitating assistance for actors in civic energy through a modular digital platform
Utilising STAMP to define the First-into-Man system for medicines
Grafiken als gerichtete azyklische Graphen. Ein Konzept zur Integration von Grafik in Dokumente
Visual Innovations for Product Search Interfaces
Temporale Verifikation mit Transitionsinvarianten
Autonomous Tracking of Space Objects with the FGAN Tracking and Imaging Radar
Hardwaregestütze Positionsschätzung mit Bayes'schen Filtern auf Basis 3-dimensionaler Umgebungsmodelle für den Innenbereich
Designing an Interactive Database for Preserving the Heritage of Mosul City
Datenbewusstsein im Kontext digitaler Kompetenzen für einen selbstbestimmten Umgang mit datengetriebenen digitalen Artefakten
Brettspiel zur Entwicklung von Fachkompetenz in verschiedenen Themengebieten mittels Gamification
Ein Konzept für ein Roboter-Aktionsplanungssystem
Die Repräsentation virtueller technischer Objekte innerhalb eines hierarchisch-funktional verteilten CAD-Systems
Semantische Analyse zur Unterstützung von SOA-Governance
Parallel Processing on Distributed Memory Multiprocessors
Integrating formal, soft and diagrammatic approaches in high-level synthesis and hardware-software co-design
Datenschutz in Telekommunikationssystemen; insbesondere Fortentwicklungen des Datenschutzrechts
Photogrammetric Modeling and Evaluation for the Documentation of Cultural Heritage in the Erbil Citadel
Modulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle
Autonome Software
Auf dem Weg zu einem ganzheitlichen, quantitativen Bewertungsansatz für Energiemonitoring-Systeme in Rechenzentren
Werkzeuge zur automatisierten Dokumentation von hierarchischen netzartigen Strukturen
Open Data! Umweltinformatik in Behörden und Verwaltung
Micro Aerial Disaster Communication Systems
The Backbone of Gamification - a Theoretical Consideration of Play and Game Mechanics
Dublettenbereinigung nach dem Record Linkage Algorithmus
Advanced visualization and modeling of tetrahedral meshes
HELP - ein medizinisches Verwaltungs- und Informationssystem
The custom-made body - legal aspects of bioprinted tissue and organs
Generation of Plausible Synthetic Data for Stego-Malware Detection for Inter-zone IACS Protocols
Smart Authoring for Location-based Augmented Reality Storytelling Applications
Menschliche Faktoren in Workflow-Management-Systemen
Vorwort: Applications of Semantic Technologies (AST 2014)
International Workshop on Communication and Data Management in Large Networks
A multi-label text classifier approach for understanding electronic word-of-mouth of restaurants on Google Maps
Effiziente Fehlertoleranz für Web-Basierte Systeme
Statistical Evaluation of the Usability of Decision-Oriented Graphical Interfaces in Scheduling Applications
Wireless LAN for Communities
Herausforderungen und Ansätze für Kontextmodelle
Thinking in the Small: What Reasoning is Required for Mobile Computing
The UML 2.0 Test Profile as a Basis for Integrated System and Test Development
HD-Voice-3D: Herausforderungen und Lösungen bei der Audiosignalverarbeitung
Ein Prozessmodell für die Generierung und Digitalisierung von Herbarbelegen mit integrierter Fertigungssteuerung
An Ontology Fusion Plus DSmT - that is the Fusion of the Fusion Approaches in C&C systems
Interactive Data Manipulation and Data Analysis
On Data Spaces for Retrieval Augmented Generation
FUSE BY: Syntax und Semantik zur Informationsfusion in SQL
2. Workshop: Nachhaltige Wertschöpfungssysteme (NaWerSys)
Community-Aware Adaptive Systems
Die Planungen der Deutschen Bundespost zur Weiterentwicklung der Fernmeldenetze
Fail-Softness Criteria in the Realization of a Minicomputer Disk Operating System to be Used in an "Open-Shop" University Environment
Aufbau und Betrieb einer überbetrieblichen Wissens-Plattform am Beispiel businesswissen.de
Grenzen und Möglichkeiten der Verrechtlichung der Datenverarbeitung
Comparative Study: Legal Framework of Offensive Cybersecurity Research in Denmark and Sweden
Information Security Risk Analysis in komplexen Systemen - neue Herausforderungen und Lösungsansätze
Einführun in das Fachgespräch "Requirements Engineering und Projektmanagement"
Soziotechnisches Prozessdesign am Beispiel koordinierter Dienstleistungen in einem Wohnquartier
Access of Mobile IP Users to Firewall Protected VPNs
Wie Kinder und Jugendliche lernen, die digitale Gesellschaft mitzugestalten
Smart Factory based on intelligent technical systems
E-Cell: Towards integrative modeling of cellular processes
Trace-basiertes Testen von nebenläufigen reaktiven Systemen
Reduzierung der Programmgröße mit Hilfe von Klonerkennung
New Possibilities and Challenges of Data Analytics as a Service: An Introduction to DAS-25
Enhancing Cloud Security with Context-aware Usage Control Policies
Geodaten als Open Data für die Künstliche Intelligenz
Verteilte Geschäftsprozesse mit Hilfe von Web Services
Wegplanung in der stereotaktischen Bestrahlungschirugie
Konzept für ein deutschlandweites Krankheitsnetz am Beispiel von mitoREGISTER
Zentrales, standardisiertes Monitoring als Grundlage des Service Level Managements in flexiblen SOA-Lösungen
Datenschutzrechtliche Anforderungen an Smart Glasses-basierende Informationssysteme in der Logistik
Fachqualifikation und die Grenzen der Verwaltungsautomation
IT-risikomanagement im krankenhaus
Using Quasi Ordered Sets to Model Program Properties Denotationally
Model-based Middleware for Embedded Systems
Drohnenbasiertes Verfahren zur Detektion geschädigter Obstbäume in Obstbaumplantagen
Probleme der elektronischen Rechtsdokumentation - dargestellt am Beispiel der Steuerrechtsdatenbank der DATEV e G
Über die robuste räumliche Filterung von EEG in nichtstationären Umgebungen
Interdisziplinäre Forschung! Hat es sich gelohnt?
Einstieg in den ML-Workflow durch Entwicklung einer intelligenten Museumsapp
Transformation von Wertschöpfungsketten durch das Internet der Dinge
Secure OPC UA Server configuration for smart charging stations
Das Transitionsmonoid bei der Parallelkomposition von Endlichen Automaten
Agile Strategieentwicklung
Versuche der Verrechtlichung des Internationalen Datenverkehrs
Verfahren zur Simulation Sozioökonomischer Systeme
Rechnerunterstützung für die Anfangsphasen eines Projekts
Improving the Detection of Comparison Arguments in Product Reviews
Konzept einer optimierten Architektur für Recyclingbörsen
Knowledge-aided Multi-Sensor Data Processing for Maritime Surveillance
Semantically linking web pages to web services in Bioinformatics
Peer-to-Peer-Technologie für unternehmensweites und organisationsübergreifendes Workflow-Management
Zivilrechtliche Probleme in der Telekommunikation
Referenzmodellierung 2003 (RefMod2003)
Gamification: Konzepte und Anwendungsfelder
Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen
Die berufliche Situation informatisch Handelnder in der ethischen Reflexion
Modellbildung und Animation eines Geoids
$μ$-force control - A device for controlling power wheelchairs for severely mobility impaired persons
System Analysis of Information Management
Interdisziplinäre Zusammenarbeit im Forschungsgebiet Ambient Assisted Living zur Bewältigung demografischer Probleme im Gesundheitswesen
Diagnostik von Handlungsphasen in tutoriellen Lernsystemen
Measuring the Performance of Evolutionary Multi-Objective Feature Selection for Prediction of Musical Genres and Styles
Unterstützung von Innovationsprozessen mit IT-Werkzeugen - Der InnoRadar als Teil eines Innovationswerkzeugs
Reasoning about Networks
Object Detection and Classification in Digital Surface Models of the Lausitz Region in Germany
Collaborative development of performance indicators for IT applications
IT Security Evaluation Improvement by Application of Testing
Nutzerfreundliche Datenschutzinformationen: Erkenntnisse des Einflusses der gestalterischen Aufbereitung einer Datenschutzinformation auf das Textverständnis
Unterstützung von dynamischen Compliance Prozessen durch Business Process Management Plattformen
The Stollmann data Flow Maschine
Workshop über Rigorose Entwicklung software-intensiver Systeme
Erste Erfahrungen mit einem integrierten Krankenhausinformationssystem (KIS)
Modellbasierte Generierung von Testfallszenarien für den aufwandsoptimierten Integrationstest
Overcoming Inefficiency in Public Procurement: An OpenData Approach
Disaster-Readiness als Beispiel für Ontologie-basiertes IT-Management im Geschäftskontext
Design and implementation of a lecture for teaching current Green Coding approaches and practices at the HTW Berlin
Generierung Relevanter Testdatenbanken [Generating Meaningful Test Databases]
Direkte Ende-zu-Mitte Authentifizierung in kooperativen Netzen
Ein systematisches Literatur-Review des ITProzessmanagements
From Research Data to Research Software Competencies: Results from a Workshop
Real-Time 3-D Interaction from Monocular Video Image Flows
Minimizing the Annotation Effort for Detecting Wildlife in Camera Trap Images with Active Learning
Employees' Adoption of Workplace Innovations
Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen
Assessing the performance of Neural Networks in Recognizing Manual Labor Actions in a Production Environment
Analyse von Erfolgs- und Hemmnisfaktoren bei der Einführung einer Innovations-Community
The Influence of Multi-Sensor Video Fusion on Object Tracking Using a Particle Filter
Evaluating Systems with Multiple Processes Using STPA: A Case Study in a Medical Intensive Care Unit
Methoden der ethischen Evaluation von IT
Technology assessment of software-intensive critical infrastructures - A research perspective
Ansatz zur gestaltung einer zukunftsfähigen IT-landschaft am beispiel der charité - universitätsmedizin Berlin
Formale Behandlung des Begriffs "Pflicht"
Recht und Technik: Datenschutz im Diskurs
Akzeptanz von Ambient Intelligence in Krankenhäusern: Ein Ländervergleich zwischen Deutschland und Australien am Beispiel der Medikationsunterstützung
Ein lernendes System zur Verbesserung der Datenqualität und Datenqualitätsmessung
Towards Ontology-based QoS Aggregation for Composite Web Services
MuBIS: Konzept eines multimedialen Büroinformationssystems
Ein Programmsystem zur interaktiven Triangulierung zweidimensionaler Gebiete in der Methode der finiten Elemente
Management einer Service orientierten Architektur an einer großen Universität
Social Media-basierte nachhaltige Geschäftsmodelle als Mittel zur Reduzierung des ökonomisch induzierten Migrationsdrucks
Toolkit for Bar Code Recognition and Resolving on Camera Phones - Jump Starting the Internet of Things
Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele
Independent vs. interdependent identities: Eine theoretische Basis zu kulturellen Unterschieden in der Entwicklung und Nutzung von Software
Program Proving: Exit and Return Jumps in Structured Programs
Umweltinformationssysteme - ein Dauerthema: UIS, ICT-ENSURE Datenbanken
Passung durch Rückkopplung. Konzepte der Selbstregulierung in der Prothetik des Ersten Weltkriegs
Neue Architekturen für ein optisches Internet
Anwendung des V-Modells XT - Stand und Erfahrungen aus der Pilotierungsphase
Learning from Project History to Support Programmers
How gender is understood and analyzed in current egovernment research - a scoping literature review
"Von der Leitentscheidung zur netzbasierten Universität - Migrationsstrategie "E-Learning" der FernUniversität Hagen
Modellgestützte Generierung von Ertragserwartungskarten
Transition Selection Algorithms for Statecharts
Beitrag zur Spezifikation der Funktion von generalisierten Datenbankmanagementsystemen
A New Approach to Determine Cycling KPIs in the Context of Behavioral Data
Statische Datenflussanalyse für Android-Anwendungen
Transformation von Dokumenten in der öffentlichen Verwaltung
Studiengangsbezogene Informationsintegration an Hochschulen mit Hilfe von Ontologien
Ein Framework zur Nutzung situationsabhängiger mobiler Dienste
SFB 501: Entwicklung großer Systeme mit generischen Methoden
Do They Really Mean It? Assessing Decision Markets Outcomes
Komposition von Prozessinstanzen unter Berücksichtigung von Leistungs-und Qualitätsmerkmalen
Ein Plädoyer für Datenflussdiagramme aus der Sicht der Aufwandsschatzung und der agilen Softwareentwicklung
Privacy-Preserving Stress Detection Using Smartwatch Health Data
Plazieren und Pseudoleitungsfinden bei Schaltkreiskarten
Enhancing Automotive AUTOSAR Environments with Artificial DNA
Aufbau eines BTX-gestützten Informationssystems für den Innen- und Aussendienst von Unternehmen
Scale Spaces for Cognitive Systems: A Position Paper
Aspects in User Interface Design for Mobile Multi-User Applications
Challenges in designing and distributing a not for profit first aid app worldwide
Semantic based P2P System for local e-Government
Automated Reasoning for Conflict Solving in Knowledge Graphs
Increasing ROS Reliability and Safety through Advanced Introspection Capabilities
Entscheidungsunterstützung bei der Nutzung von Kläranlagen für Agrarsysteme
Einführung in das Fachgespräch "Computergestützte Informations-Planungs und Steuerungssysteme im Unternehmen"
Bringing Semantics into Folksonomies - Semantische Analyse Nutzergenerierter Indexierungen
Herausforderungen beim Testen von Fahrerassistenzsystemen
Die dynamische Datenbasis des HALORD Systems
Learning causal mechanisms
Die Verteilung von Programmen zum rechnerunterstützten Lernen über öffentliche Kommunikationsmedien
A Decade of Energy Awareness Technology Evolution for Sensor Nodes
Ad-hoc-Integration in schemabasierten P2P-Systemen
Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung
Neue Technologien: Chancen nutzen, Risiken vermeiden
Adaptive Verfahren zur nutzerzentrierten Organisation von Musiksammlungen
WS38 Migration und Medien
Evaluation der domänenspezifischen Sprache HMISL zur modellgetriebenen Entwicklung von Automotive HMIs
Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
Rekonfigurierbare Beschleuniger in der Welt von allgemeinen Rechenaufgaben
Ist ein Perspektivenwechsel der Umweltinformatik durch ein mögliches Verschwinden der Grenze zwischen physischem Objekt und Software notwendig?
Integrating IT-for-Green Project through Web Services with the System of Sustainability Performance Evaluation
Optimizing patients' engagement by a cyber-physical rehabilitation system
KMU-spezifische Herausforderungen bei der Entwicklung und dem Betrieb mobiler Dienste