Browsing Fakultät für Mathematik und Informatik (inkl. GAUSS) by Referee "Grabowski, Jens Prof. Dr."
Now showing items 21-38 of 38
-
Interpretable Binary and Multiclass Prediction Models for Insolvencies and Credit Ratings
(2016-06-10)Insolvency prediction and credit rating are challenging tasks used to evaluate the creditworthiness of commercial enterprises based on qualitative and quantitative attributes. One way to approach these tasks is machine ... -
Automated Field Usability Evaluation Using Generated Task Trees
(2016-01-08)Usability is an important aspect of any kind of product. This also applies for software like desktop applications and websites, as well as apps on mobile devices and smart TVs. In a competitive market, the usability of a ... -
Generic Methods for Adaptive Management of Service Level Agreements in Cloud Computing
(2015-11-27)The adoption of cloud computing to build and deliver application services has been nothing less than phenomenal. Service oriented systems are being built using disparate sources composed of web services, replicable datastores, ... -
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, ... -
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 ... -
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 ... -
Assessing and Improving Interoperability of Distributed Systems
(2013-02-12)Achieving interoperability of distributed systems offers means for the development of new and innovative business solutions. Interoperability allows the combination of existing services provided on different systems, into ... -
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 ... -
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 ... -
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, ... -
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, ... -
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. ... -
Data Protection and Data Security Concept for Medical Applications in a Grid Computing Environment
(2008-11-20)This thesis is addressing the authorization problem in healthgrid environments, which is still an obstacle in front of using grid computing for medical applications. Current grid authorization ... -
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 ... -
Evaluation of Queries on Linked Distributed XML Data
(2007-01-29)XML (eXtensible Markup Language) is the de-facto standard for exchanging information and for representing data in the World Wide Web. In contrast to the document-centric perspective given ... -
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 ... -
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 ... -
Automatic Test Generation Based on Formal Specifications
(2003-11-04)To ensure that distributed, heterogeneous telecommunication systems can interact with each other, organizations such as the European Telecommunications Standards Institute define internationally ...