Browsing NTNU Open by Author "Herrmann, Peter"
Now showing items 1-20 of 52
-
A Constructive Approach to Support the Design of State Machines
Gisnås, Øystein (Master thesis, 2006)The components of telecommunication systems can be described by state machines that communicate by sending messages asynchronously. It is difficult to keep a component consistent with the other components it is connected ... -
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility
Puka, Ergys; Herrmann, Peter (Chapter, 2019)The cellular network coverage in sparsely populated and mountainous areas is often patchy. That can be a significant impediment for services based on connections between vehicles and their environment. In this paper, we ... -
A Flexible Way to Dynamically Visualize Spatiotemporal Data in a Geographic Information System
Das, Soma (Master thesis, 2018)In this project thesis, with the development of the dynamic system, we have shown that it is possible to visualize spatiotemporal data flexibly in real-time and which can also be examined from anywhere. The achieved system ... -
A Pattern-Based Approach for the Consistent Design of Interaction Interfaces
Birkeland, Sebjørn Sæther (Master thesis, 2006)We depend more and more on networked systems in our every day lives. The functionality and correctness of such systems are thus becoming increasingly important both for individuals and the society as a whole. At the same ... -
A prototype of a precise delay prediction system for buses based on machine learning
Sørensen, Sindre Følling (Master thesis, 2022)Mange busser er i dag koblet til internett, som en del av IoT-trenden for forretning-brukstilfeller. En av brukstilfellene som GNSS-mottagere og internettoppkobling legger til rette for er systemer for forsinkelsesprediksjoner. ... -
Adding Security to Web Services - An Automatic, Verifiable, and Centralized Mechanism for Web Services Input Validation
Brekken, Lars Arne; Åsprang, Rune Frøysa (Master thesis, 2006)Accepting unvalidated input is considered today's greatest web security threat. This master's thesis addresses that threat by proposing an automatic and centralized mechanism for validating web services input. By building ... -
Adding Security to Web Services: An Automatic, Verifiable, and Centralized Mechanism for Web Services Input Validation
Brekken, Lars Arne; Åsprang, Rune Frøysa (Master thesis, 2006)Accepting unvalidated input is considered today's greatest web security threat. This master's thesis addresses that threat by proposing an automatic and centralized mechanism for validating web services input. By building ... -
An API to Wi-Fi Direct Using Reactive Building Blocks
Gabrielsen, Erlend Bjerke (Master thesis, 2012)Implementing unfamiliar functionalities in smartphone applications can be a difficult and a tedious task. Owing to the fact that the API do not have a formal way of representing the sequence of events may be one reason. ... -
An autonomous multi-UAV system for avalanche search
Bryant, Guilhem (Master thesis, 2019)This work aims at theorizing and designing a multi-UAV system for localizing avalanche victims in an optimal way. Using UAVs instead of human rescuers for victim search offers several advantages such as their high velocity, ... -
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs
Bejanaro, Ronal; Pääkkönen, Roope; Blech, Jan Olaf; Peake, Ian; Herrmann, Peter; Vyatkin, Valeriy (Peer reviewed; Journal article, 2020)Remote monitoring and control of factory equipment promises a more streamlined and therefore less expensive system operation and maintenance. The geographical distance between a factory and its control center, however, may ... -
Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter (Chapter, 2021)Accurately detecting the mobile contexts, in which public transport vehicles and their passengers operate, is key for future intelligent context-aware services in transportation systems. A prominent example is in-vehicle ... -
Automated Product Localization through Mobile Data Analysis
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter (Journal article; Peer reviewed, 2019)Recent developments in the field of indoor RealTime Locating Systems (RTLS) using mobile devices stimulate decision support for users. For instance, smartphone-based navigation in shops can enable location-aware recommendations ... -
Automatic Detection and Correction of Flaws in Service Specifications
Slåtten, Vidar (Master thesis, 2008)While rigorous, mathematical techniques are helpful for improving the quality of software engineering, the threshold of learning and adapting formal methods keep many practitioners from embracing these kinds of approaches. ... -
Collaboration-based intelligent service composition at runtime by end users
Imtiaz-Ud-Din, K.M (Master thesis, 2011)In recent years, technologies in the area of ubiquitous computing have experienced a great advancement. This has resulted in a wide-spread use of services in order to improve the quality of our daily life. For example, a ... -
Conceptualization and Design of a Context-Aware Platform for User-centric Applications
Hristova, Ana (Master thesis, 2008)With the appearance and expansion of mobile devices, ubiquitous computing is becoming more popular nowadays and the user and his tasks are becoming the focus of application development. One area of ubiquitous computing is ... -
Cross-Device Application Mobility - Investigating and showcasing the feasibility of a generic, cross-Device Session Mobility Platform for Applications
Hanssen, Øystein Wethe; Tsigouris, Dimitrios (Master thesis, 2013)Today, cross-device capabilities has become the de facto standard among most applications, enabling users to access an application, and in some cases, resume their previous session, from a various of devices. While this ... -
Cross-Device Application Mobility: Investigating and showcasing the feasibility of a generic, cross-Device Session Mobility Platform for Applications
Hanssen, Oystein Wethe; Tsigouris, Dimitrios (Master thesis, 2013)Today, cross-device capabilities has become the de facto standard among most applications, enabling users to access an application, and in some cases, resume their previous session, from a various of devices. While this ... -
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots
Puka, Ergys; Herrmann, Peter (Journal article, 2019)The cellular network coverage in sparsely populated and mountainous areas is often patchy. That can be a significant impediment for services based on connections between vehicles and their environment. In this paper, we ... -
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection
Oplenskedal, Magnus Karsten; Herrmann, Peter; Taherkordi, Amir (Journal article; Peer reviewed, 2021)The accurate detection of the mobile context information of public transportation vehicles and their passengers is a key feature to realize intelligent transportation systems. A topical example is in-vehicle presence ... -
Design of Trusted Systems with Reusable Collaboration Models
Herrmann, Peter; Kraemer, Frank Alexander (Journal article; Peer reviewed, 2007)We describe the application of our collaboration-oriented software engineering approach to the design of trust-aware systems. In this model-based technique, a specification does not describe a physical system component but ...