Policy-controlled operating systems provide a policy decision and enforcement environment to protect and enforce their security policies. The trusted computing base (TCB) of these systems are large and complex, and their functional perimeter can hardly be precisely...
24,40 € *
In this dissertation we study differential-algebraic equations (DAEs) of the form Ex'=Ax+f. One aim of the thesis is to derive the quasi-Kronecker form (QKF), which decomposes the DAE into four parts: the ODE part, nilpotent part, underdetermined part and...
19,80 € *
Mit steigender Komplexität heterogener, verteilter Systeme nehmen auch die Anforderungen an deren Validierung zu. In dieser Arbeit wird ein Konzept vorgestellt, mit dem eine bestimmte Klasse komplexer Systeme, so genannte Dienstbereitstellende Systeme, durch...
11,80 € *
Werner Neundorf - Numerik gewöhnlicher Differentialgleichungen...
Dieses Buch ist aus Vorlesungen und Seminaren für die Mathematik- und Ingenieurstudenten an der TU Ilmenau hervorgegangen. Es widmet sich der numerischen Behandlung von Anfangswertproblemen gewöhnlicher Differentialgleichungen, im notwendigen Maße der Theorie, mehr...
50,50 € *
In die Infrastruktur unserer Gesellschaft sind komplexe IT-Systeme fest eingebettet. Die Verbreitung und Verstetigung von IT-Systemen betrifft zentrale Bereiche unserer Gesellschaft beispielsweise Verkehrs-, Finanz- oder Gesundheitssystem. Lange Zeit standen...
9,80 € *
In the last decade a lot of dependency parsers have been developed. This book describes the motivation for the development of yet another parser - MDParser. The state of the art is presented and the deficits of the current developments are discussed. The main problem...
10,50 € *
Holger Bönicke - Flexible und plattformunabhängige...
Der steigende Bedarf an mikrocontrollerbasierten mechatronischen Systemen ist heute nicht mehr zu übersehen. Zur Deckung des Bedarfs werden gewöhnlich modellbasierte Methoden eingesetzt, welche die Arbeit der Experten beschleunigen. Diese Methoden sind aber selbst...
16,80 € *
We consider the problem of numerical integration, where one aims to approximate an integral of a given continuous function from the function values at given sampling points, also known as quadrature points. A useful framework for such an approximation process is...
13,00 € *
Das DFG-geförderte Projekt MIRO – Münster Information System for Research and Organization – der Universität Münster hat wesentliche Fortschritte auf dem Bereich des integrierten Informationsmanagements erzielt. Hierzu zählt der Aufbau von serviceorientierten...
10,50 € *
Der Aufenthaltsort eines mobilen Benutzers stellt eine wichtige Information für Anwendungen aus den Bereichen Mobile Computing, Wearable Computing oder Ubiquitous Computing dar. Ist ein mobiles Endgerät in der Lage, die aktuelle Position des Benutzers zu bestimmen,...
11,50 € *
Igor Halenár - Using neural networks for detection of...
Opening of local communication means of technological devices towards networks available to public, supervision of devices, and remote technological devices administration are the characteristics of modern automation. As a result of this process the intrusion of...
10,50 € *
Die vorliegende Arbeit befasst sich mit Algorithmen aus dem Bereich der Bildsegmentierung sowie der Datensynthese für das so genannte Hologrammdruck-Prinzip. Angelehnt an ein anatomisch motiviertes Forschungsprojekt werden aktive Konturen zur halbautomatischen...
23,80 € *