Dokumente Fakultät für Mathematik und Informatik (inkl. GAUSS) nach Gutachter "Grabowski, Jens Prof. Dr."
Anzeige 21-38 von 38
-
Interpreting and visualizing the decisions of Deep Neural Networks
(2023-04-20)Machine learning and its associated algorithms involving deep neural networks have gained widespread admiration in the computer vision domain. In this regard, significant progress has been made in automating certain ... -
Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
(2004-11-24)For modern distributed systems, it is important that they adhere to real-time requirements, e.g. to deliver a response to a request within a given deadline. For assuring the quality of ... -
Learning Finite State Machine Specifications from Test Cases
(2010-08-05)Up-to-date software systems are often modular and need to be changeable. While modularity is believed to reduce software production costs, it also leads to increased difficulty in testing, ... -
Long-Term Location-Independent Research Data Dissemination Using Persistent Identifiers
(2017-03-24)Research data occurs in all scientific experiments, computer simulations, observations or as a derivation from other datasets, literature or publications. As a subset of the general concept of digital data, it is classified ... -
Mining Developer Dynamics for Agent-Based Simulation of Software Evolution
(2019-07-10)The steady growth of software in our daily life results in the need for quicker adaption of the software changing usage and requirements. This process is defined as software evolution. Primarily, it is concerned with changes ... -
On monitoring and fault management of next generation networks
(2010-11-16)This thesis investigates monitoring and fault management of next generation networks, in particular in environments where the network nodes within an Autonomous System (AS) are centrally ... -
Planning and Optimization During the Life-Cycle of Service Level Agreements for Cloud Computing
(2015-06-10)A Service Level Agreement (SLA) is an electronic contract between the consumer and the provider of a service. It governs their business relationship by clarifying expectations and obligations of participating entities, ... -
Quality Assurance of Test Specifications for Reactive Systems
(2010-08-20)Extensive testing of modern communicating systems often involves large and complex test suites that need to be maintained throughout the life cycle of the tested systems. For this purpose, ... -
Reference Framework for Distributed Repositories
(2010-02-17)Our notion of IT infrastructure is changing dramatically. We used to be happy with just a power plug for our desktops - today, many of us can hardly imagine a day without Internet access. ... -
Reliability Assessment for Cloud Applications
(2017-02-20)Reliability is a significant quality measurement for computer systems and applications. When cloud computing is becoming mature and pervasive, a variety of applications are deployed on cloud platforms. Influenced by the ... -
Resource Management for Efficient, Scalable and Resilient Network Function Chains
(2018-08-10)Networks, the basis of the modern connected world, have evolved beyond the con- nectivity services. Network Functions (NFs) or traditionally the middleboxes are the basis of realizing different types of services such as ... -
Scientific Workflow Execution Using a Dynamic Runtime Model
(2022-07-18)Research projects consist of several kinds of steps covering, e.g., individual procedures to gather data, as well as different ways to process and analyze it. Moreover, the individual steps of the project consist of a ... -
Social-Based Data Routing Strategies in Delay Tolerant Networks
(2014-04-03)Delay Tolerant networks (DTNs) are intermittently connected mobile networks in which the end-to-end paths do not exist. Data delivery in such networks relies upon the contacts that use "store-carry-and-forward" paradigm ... -
The Integration of the Brain Bank Imaging Workflow into the Infrastructure of the Multiple Sclerosis Research Network
(2019-03-26)Digital pathology (DP) provides powerful tools for the acquisition, management, storage, viewing, and analysis of high-resolution digital microscope images. During the last decade, DP tools were increasingly used for a ... -
UML Profile for Communicating Systems
(2007-04-24)This thesis presents a new Unified Modeling Language 2 (UML) profile for communicating systems. It is developed for the unambiguous, executable specification and description of communication ... -
UML-based Test Specification for Communication Systems
(2004-10-28)Nowadays, the complexity of modern telecommunication systems has increased significantly and the requirement for thorough and systematic testing is undisputed. The TTCN-3 is an universal ... -
Usage-based Testing of Event-driven Software
(2012-09-14)Most modern-day end-user software is Event-driven Software (EDS), i.e., accessible through Graphical User Interfaces (GUIs), smartphone apps, or in form of Web applications. Examples for events are mouse clicks in ... -
Verification of Security Properties Using Formal Techniques
(2014-02-12)Nowadays, the necessity of developing collaborative and distributed computing systems makes networks, and specially Internet, the key element of the system design process. Several new applications have been appeared in ...