![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessDistributed Petri nets ROS
Verifying industrial robotic systems is a complex task because those systems are distributed and solely defined by their implementation instead of models of the system to be verified. Some technologies mitigat...
-
Chapter and Conference Paper
Mobile Device-Based Interactions for Collocated Direct Voting in Collaborative Scenarios
In collocated collaboration, group members frequently compare, discuss, and decide on ideas or partial solutions to reach an overall goal. To facilitate comparison, documentation as well as votes of the outcom...
-
Article
Open Access50 Jahre universitärer Informatik-Studiengang an der TU Dresden aus der Sicht von Zeitzeugen in einem Zeitstrahl
Im Jahr 2019 haben deutsche Universitäten das Jubiläum einer 50-jährigen Informatikausbildung gefeiert. Die TU Dresden blickt dabei seit 1969 als erste Universität auf Erfahrungen in beiden deutschen Staaten z...
-
Chapter and Conference Paper
Sniffbots to the Rescue – Fog Services for a Gas-Sniffing Immersive Robot Collective
Gas accidents frequently turn industrial or civil structures into extremely dangerous environments. Disasters like the Ahrtal flood in summer 2021 destroy infrastructures such as the gas grid and the power gr...
-
Article
Open AccessHoloFlows: modelling of processes for the Internet of Things in mixed reality
Our everyday lives are increasingly pervaded by digital assistants and smart devices forming the Internet of Things (IoT). While user interfaces to directly monitor and control individual IoT devices are becom...
-
Article
Open AccessA Canonical String Encoding for Pure Bigraphs
The bigraph theory, devised by Robin Milner, is a recent mathematical framework for concurrent processes. Its generality is able to subsume many existing process calculi, for example, CCS, CSP, and Petri nets....
-
Chapter and Conference Paper
Multi-objective Parameter Tuning with Dynamic Compositional Surrogate Models
Multi-objective parameter tuning is a highly-practical black-box optimization problem, in which the target system is expensive to evaluate. To identify well-performing solutions within the limited budget, a su...
-
Article
Open AccessImmersives verteiltes Robotic Co-working
Im zukünftigen taktilen Internet wachsen die physische und virtuelle Welt auch über mehrere Standorte hinweg immer weiter zusammen. Robotic Co-working – das gemeinsame Kollaborieren von Robotern und Menschen – ge...
-
Chapter and Conference Paper
Towards Interaction Design for Mobile Devices in Collocated Mixed-Focus Collaboration
In collocated collaboration, applied methods and technologies to support the collaboration process mainly comprise either analog paper and pen methods, large display applications or the usage of several laptop...
-
Chapter and Conference Paper
A Design Kit for Mobile Device-Based Interaction Techniques
Beside designing the graphical interface of mobile applications, mobile phones and their built-in sensors enable various possibilities to engage with digital content in a physical, device-based manner that mov...
-
Chapter and Conference Paper
Software-Defined Mobile Supply Chains
Supply chain designs and processes are the outcome of a bunch of different hierarchically organized planning problems. The hierarchy induces different decision update cycles for the individual decisions. This ...
-
Chapter
A Software Toolkit for Complex Sensor Systems in Fog Environments
Smart things (such as sensors, and embedded devices) are going to become an essential source of data within the Internet of Things (IoT)—equipped with sensors and actuators; those devices can gather different ...
-
Chapter and Conference Paper
Introducing Mobile Device-Based Interactions to Users: An Investigation of Onboarding Tutorials
Various built-in sensors enable interacting with mobile devices beyond the screen. So-called mobile device-based interaction techniques are characterized by movements and positions in real space, e.g. twisting...
-
Chapter and Conference Paper
Investigating Mobile Device-Based Interaction Techniques for Collocated Merging
In mixed-focus collaboration, group members create content both individually as a kind of groundwork for discussion and further processing as well as directly together in group work sessions. In case of indivi...
-
Chapter and Conference Paper
Classifying Approaches for Constructing Single Underlying Models
Multi-view environments for software development allow different views of a software system to be defined to cover the requirements of different stakeholders. One way of ensuring consistency of overlap** inf...
-
Article
Toward a framework for self-adaptive workflows in cyber-physical systems
With the establishment of Cyber-physical Systems (CPS) and the Internet of Things, the virtual world of software and services and the physical world of objects and humans move closer together. Despite being a ...
-
Chapter and Conference Paper
Retrofitting of Workflow Management Systems with Self-X Capabilities for Internet of Things
The Internet of Things (IoT) introduces various new challenges for business process technologies and workflow management systems (WfMS’s) to be used for managing IoT processes. Especially the interactions with...
-
Chapter and Conference Paper
Augmented Reality-Based Process Modelling for the Internet of Things with HoloFlows
Workflow technologies can be handy to model, execute and analyse simple processes in Internet of Things (IoT) environments. End-users are enabled to compose processes and thereby automate basic repetitive task...
-
Chapter and Conference Paper
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk)
This work presents a new reference architecture for multi-layer autonomic systems called context-controlled autonomic controllers (ConAC). Usually, the principle of multiple system layers contradicts the principl...
-
Chapter and Conference Paper
Modelling the World of a Smart Room for Robotic Co-working
Robots come out of the cage. Soon, it will be possible to interact with free-standing robots along an assembly line or in a manufacturing workshop (robotic co-working). New sensitive robot arms have appeared on t...