Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Verteiltes System"”.
-
Verteilte Systemarchitektur für mobile Roboter
… mobilen Robotern gibt es zahlreiche Ansätze für Systemarchitekturen, sowohl als monolithisches, als auch als verteiltes System innerhalb eines Roboters. Ziel der vorliegenden Dissertation ist die Entwicklung einer allgemeingültigen Systemarchitektur für einen typischen mobilen Roboter. Zur …
-
Tool support for the distribution of object based applications
… its internal data structure. The graph rewriting system PROGRES is used to specify the structure of this graph and suitable transformations.
-
Verification of Erlang programs using abstract interpretation and model checking
… used for the development of distributed systems. We present an approach for the formal verification of Erlang programs using abstract interpretation and model checking. Therefore, we define a framework for abstract interpretations of Erlang programs. In this framework it is guaranteed …
-
Three-valued abstraction for stochastic systems
… qualitative and quantitative aspects of systems of a wide variety of types. A most acknowledged technique in this context is the model checking approach that allows for an automated verification of system models with respect to sets of formal requirements. The underlying analysis …
-
World libraries : towards efficiently sharing large data volumes in open untrusted environments while preserving privacy
… of world libraries: Massively distributed systems that allow for the efficient sharing of large data volumes in open, untrusted environments while preserving privacy. To begin with, we discuss our definition as it relates to similar but different notions, then defend its utility with …
-
Learning communicating and nondeterministic automata
… algorithm to cope with valid and invalid sets of system runs and, after some iterations, come up with an intermediate design model (a DFA) which exhibits features that make it distributable into communicating components (or processes) interacting via FIFO channels. Theoretical results on which …