Skip to main content

4 Result(s)

within Conference Paper Remove this filter Peter Hartmann Remove this filter Computer Communication Networks Remove this filter

and

  1. No Access

    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...

    Peter Hartmann, Monika Maidl, David von Oheimb… in Security and Trust Management (2011)

  2. No Access

    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...

    Monika Maidl, David von Oheimb… in Computer Safety, Reliability, and Security (2008)

  3. No Access

    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...

    Torsten Felzer, Peter Hartmann… in Biological and Artificial Computation: Fro… (1997)

  4. No Access

    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 ...

    Peter Hartmann in Parallel Computing Technologies (1995)