Skip to main content Skip to main navigation

Publications

Displaying results 811 to 820 of 15191.

  1. Thomas Bauereiß; Dieter Hutter

    Possibilistic information flow security of workflow management systems

    In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014), located at European Joint Conferences on Theory and Practice of Software, April 5-13, Grenoble, France, EPTCS, Vol. 148, Electronic Proceedings in Theoretical Computer Science, 2014.

  2. Thomas Bauereiß; Dieter Hutter

    Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS

    In: F. Cuppens; N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014), June 2-4, Marrakech, Morocco, Pages 250-256, IFIP Advances in Information and Communication Technology, Springer, 2014.

  3. Dima Panfilenko; Katsiaryna Hrom; Brian Elvesaeter; Einar Landre

    Model Transformation Recommendations for Service-Oriented Architectures

    In: Proceedings of the15th International Conference on Enterprise Information Systems. International Conference on Enterprise Information Systems (ICEIS-2013), 15th, July 4-7, Angers, France, Pages 248-256, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, ISBN 978-989-8565-59-4, SCITEPRESS, Angers Loire Valley, 7/2013.

  4. Sankaranarayanan Natarajan; Sebastian Kasperski; Markus Eich

    An Autonomous Mobile Manipulator for Collecting Sample Containers

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), June 17-19, Montreal, Canada, 6/2014.

  5. Sven Schmeier

    Exploratory Search on Mobile Devices

    PhD-Thesis, German Research Center for Artificial Intelligence and Saarland University, Saarbrücken Dissertations in Computational Linguistics and Language Technology, Vol. 38, universaar, Saarbrücken, 3/2014.

  6. Malte Langosz; Kai von Szadkowski; Frank Kirchner

    Introducing Particle Swarm Optimization Into a Genetic Algorithm to Evolve Robot Controllers

    In: Proceedings of Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO-2014), July 12-16, Vancouver, Canada, 7/2014.

  7. Marc Manz; Roland Sonsalla; Jens Hilljegerdes; Christian Oekermann; Jakob Schwendner; Sebastian Bartsch; Stephan Ptacek

    Design of a Rover for Mobile Manipulation in Uneven Terrain in the Context of the SpaceBot Cup

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), International Symposium on Artificial Intelligence, Robotics and Automation in Space, June 17-19, Montreal, Canada, 6/2014.

  8. Jan Paul; Frank Kirchner; Ingo Ahrns; J. Sommer

    Robotics Rendezvous & Capture Test Facility "Inveritas"

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), June 17-19, Montreal, Canada, 6/2014.

  9. Florian Cordes; Christian Oekermann; Babu Ajish; Daniel Kuehn; Tobias Stark; Frank Kirchner

    An Active Suspension System for a Planetary Rover

    In: Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2014). International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-2014), June 17-19, Montreal, Canada, 6/2014.

  10. Sebastian Bartsch

    Development, Control, and Empirical Evaluation of the Six-Legged Robot SpaceClimber Designed for Extraterrestrial Crater Exploration

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Pages 127-131, Springer Verlag, Heidelberg, 2014.

Year

More options