-
Chapter and Conference Paper
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management – Automated Software Distribution for Airplanes
We apply SecPAL, a logic-based policy language for decentralized authorization and trust management, to our case study of automated software distribution for airplanes. In contrast to established policy framew...
-
Chapter and Conference Paper
Formal Security Analysis of Electronic Software Distribution Systems
Software distribution to target devices like factory controllers, medical instruments, vehicles or airplanes is increasingly performed electronically over insecure networks. Such software often implements vita...
-
Chapter and Conference Paper
PSA Approach to Population Models for Parallel Genetic Algorithms
A universal approach for describing the population model of genetic algorithms is developed which is based on the Parallel Substi- tution Algorithm (PSA) theory. Genetic algorithms (GA) are a suitable method if g...
-
Chapter and Conference Paper
Motor sequence processing with an artificial learning system
This paper describes a neural-based artificial system, called Paramount, for learning, storing, and reproducing parameterized motor sequences, i.e. temporal sequences consisting of motor commands as sequence elem...
-
Chapter and Conference Paper
A Tuple-based data structure for distributed parallel processing of 3D dynamic meshes
A data structure for the distributed representation of inhomogeneous and dynamically changing spatial structures is introduced. It is based on the concept of cellular hypergraphs (CHG), which provides us with ...
-
Chapter and Conference Paper
Parallel and distributed processing of cellular hypergraphs
In this paper it will be explained how cellular hypergraphs (CHG) can be easily distributed to a network of processor nodes. Replacement systems (CHGRS) can be used to describe the dynamics of a CHG. A CHGRS can ...
-
Chapter and Conference Paper
A Specification Language for Gibbs Sampling
A general approach to implement a specification syntax for Markov Chain Monte Carlo Methods, especially Gibbs sampling, is presented.