Search
Now showing items 1-10 of 108
Technischer Report
Lower Bounds for Nonforgetting Restarting Automata and CD-Systems of Restarting Automata
(2008-10-06)
The nonforgetting restarting automaton is a generalization of the restarting automaton
that, when executing a restart operation, changes its internal state based on the
current state and the actual contents of its read/write window instead of resetting it to the initial state. Another generalization of the restarting automaton is the cooperating distributed system (CD-system) of restarting automata. Here a finite system of restarting automata works together in analyzing a given sentence, where they interact based ...
Technischer Report
On Alternating Non-Context-Free Grammars
(2007-11-07)
We study several extensions of the notion of alternation from context-free grammars to context-sensitive and arbitrary phrase-structure grammars. Thereby new grammatical characterizations are obtained for the class of languages that are accepted by alternating pushdown automata.
Technischer Report
Evaluating the state of the art of parallel programming systems
(Universität Kassel, FB 16, Elektrotechnik/Informatik, 2005-12-20)
This paper describes our plans to evaluate the present state of affairs concerning parallel programming and its systems. Three subprojects are proposed: a survey among programmers and scientists, a comparison of parallel programming systems using a standard set of test programs, and a wiki resource for the parallel programming community - the Parawiki. We would like to invite you to participate and turn these subprojects into true community efforts.
Technischer Report
1st Kassel Student Workshop on Security in Distributed Systems
(2008-04-14)
With this document, we provide a compilation of in-depth discussions on some of the most current security issues in distributed systems. The six contributions have been collected and presented at the 1st Kassel Student Workshop on Security in Distributed Systems (KaSWoSDS’08). We are pleased to present a collection of papers not only shedding light on the theoretical aspects of their topics, but also being accompanied with elaborate practical examples. In Chapter 1, Stephan Opfer discusses Viruses, one of the oldest ...
Technischer Report
Offline Emergence Engineering For Agent Societies
(2007-12-07)
Many examples for emergent behaviors may be observed in self-organizing physical and biological systems which prove to be robust, stable, and adaptable. Such behaviors are often based on very simple mechanisms and rules, but artificially creating them is a challenging task which does not comply with traditional software engineering. In this article, we propose a hybrid approach by combining strategies from Genetic Programming and agent software engineering, and demonstrate that this approach effectively yields an ...
Technischer Report
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions
(2009-12-10)
We introduce a new mode of operation for CD-systems of restarting automata
by providing explicit enable and disable conditions in the form of regular
constraints. We show that, for each CD-system M of restarting automata and
each mode m of operation considered by Messerschmidt and Otto, there exists
a CD-system M' of restarting automata of the same type as M that, working in
the new mode ed, accepts the language that M accepts in mode m. Further, we
prove that in mode ed, a locally deterministic CD-system ...
Technischer Report
A Language for Interactive Cooperative Agents
(2009-03-20)
Cooperative behaviour of agents within highly dynamic and nondeterministic domains is an active field of research. In particular establishing highly responsive teamwork, where agents are able to react on
dynamic changes in the environment while facing unreliable communication and sensory noise, is an open problem. Moreover, modelling such responsive, cooperative behaviour is difficult. In this work, we specify a novel model for cooperative behaviour geared towards highly dynamic
domains. In our approach, agents ...
Technischer Report
Applicability of Emergence Engineering to Distributed Systems Scenarios
(2009-01-09)
Genetic Programming can be effectively used to create emergent behavior for a group of autonomous agents. In the process we call Offline Emergence Engineering, the behavior is at first bred in a Genetic Programming environment and then deployed to the agents in the real environment. In this article we
shortly describe our approach, introduce an extended behavioral rule syntax, and discuss the impact of the expressiveness of the behavioral description to the generation success, using two scenarios in comparison: the ...
Technischer Report
Global Optimization Algorithms and their Application to Distributed Systems
(2008-10-14)
In this report, we discuss the application of global optimization and Evolutionary Computation to distributed systems. We therefore selected and classified many publications, giving an insight into the wide variety of optimization problems which arise in distributed systems. Some interesting approaches from different areas will be discussed in greater detail with the use of illustrative examples.
Technischer Report
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
(2008-11-18)
This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating
Grammar Systems (PCGS), which both are useful models in computational linguistics. For PCGSs we study two complexity measures called 'generation complexity' and 'distribution complexity', and we prove that a PCGS Pi, for which the generation complexity and the distribution complexity are both bounded by constants, can be
transformed into a freely rewriting restarting automaton of a very restricted ...