Suche
Kategorie
Erscheinungsjahr
5548 Treffer
×
Publikationen
×
Universität Koblenz
×
Hochschule Worms
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel
- A Sound Decision Procedure for the Compositionality of Secrecy
- Gilles Barthe;Benjamin Livshits;Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105 (Lecture Notes in Computer Science)
- Mathews, Emi; Frey, Hannes
- A Localized Link Removal and Addition based Planarization Algorithm
- Luciano Bononi;Ajoy K. Datta;Stéphane Devismes;Archan Misra (Hrsg). Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. Berlin: Springer 2012 S. 337 - 350
- Grüntjens, Dominik; Arndt, Daniel; Beschorner, Jenny et al.
- telARscope: Gamebased Concepts for a Touristical Augmented Reality Telescope
- Paul Richard;Martin Kraus;Robert S. Laramee;José Braz (Hrsg). Proceedings of the International Conference on Computer Graphics Theory and Applications GRAPP 2012 and International Conference on Information Visualization Theory and Applications IVAPP 2012; Rome, Italy, 24 - 26 February, 2012. Setúbal: SciTePress 2012 S. 497 - 500
- Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
- Securing Processes for Outsourcing into the Cloud
- Frank Leymann;Ivan Ivanov;Marten van Sinderen;Tony Shan (Hrsg). Proceedings of the 2nd International Conference on Cloud Computing and Services Science CLOSER 2012; Porto, Portugal; 18-21 April, 2012. Setúbal: SciTePress 2012 S. 675 - 680
- Wojke, Nicolai; Häselich, Marcel
- Moving Vehicle Detection and Tracking in Unstructured Environments
- Nikos Papanikolopoulos;Henrik Christensen;Shigeki Sugan;Rüdiger Dillman;Paul Oh;Max Meng (Hrsg). Proceedings of the 2012 IEEE International Conference on Robotics and Automation ICRA 2012: St. Paul, Minnesota, USA; 14 - 18 May 2012. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2012 S. 3082 - 3087
- Guo, Jinlin; Zhang, Zhenxing; Scott, David et al.
- TRECVid 2012 Experiments at Dublin City University
- Dublin: DCU Dublin City University 2012 S. 1 - 11
- Hedrich, Jens
- Representation and Recognition of Articulating Objects in Dynamic Environments
- Kristina Yordanova;Alexander Gladisch;Kristian Duske;Daniel Janusz;Sebastian Bader (Hrsg). Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science: Dagstuhl; June 18 - June 22, 2012. Norderstedt: Books on Demand 2012 S. 107
- Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
- Non-interference on UML State-Charts
- Carlo A. Furia;Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235 (Lecture Notes in Computer Science)
- Kutsch, Horst; Bertram, Matthias; von Korflesch, Harald F. O.
- Entwicklung eines Dienstleistungsproduktivitätsmodells (DLPMM) am Beispiel von B2B Software-Customizing
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2012 S. 26
- Röttger, Diana; Denter, Christopher; Müller, Stefan
- Advanced Line Visualization for HARDI
- Thomas Tolxdorff;Thomas Martin Deserno;Heinz Handels;Hans-Peter Meinzer (Hrsg). Bildverarbeitung für die Medizin 2012: Algorithmen - Systeme - Anwendungen; Proceedings des Workshops vom 18. bis 20. März 2012 in Berlin. Berlin: Springer 2012 S. 153 - 158