Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Hopfgartner, Frank; Ren, Reede; Urruty, Thierry et al.
Information Organisation Issues in Multimedia Retrieval using Low-Level FeaturesRaphaël Troncy;Benoit Huet;Simon Schenk (Hrsg). Multimedia Semantics: Metadata, Analysis and Interaction. New York, NY: John Wiley & Sons 2011 S. 241 - 260
Hopfgartner, Frank
Interactive News Video Recommendation: An Example SystemTim Hussein;Stephan Lukosch;Heiko Paulheim;Jürgen Ziegler;Gaëlle Calvary (Hrsg). Proceedings of the 2nd Workshop on Semantic Models for Adaptive Interactive Systems SEMAIS 2011: Palo Alto, CA, USA, February 13, 2011. Aachen: CEUR/RWTH 2011 S. 21 - 25
Frey, Hannes
Lower and upper bounds for multicasting under distance dependent forwarding cost functionsMario Gerla; Enzo Mingozzi (Hrsg). Digital Proceedings of the 2011 IEEE International Symposium on ”A World of Wireless, Mobile and Multimedia Networks” (WoWMoM); June 20-23, 2011; Lucca, Italy. Piscataway, NJ: IEEE Computer Society 2011 S. 1 - 10
Shaikh Sadi, Muhammad; Uddin, Md. Nazim; Khan, Md. Mizanur Rahman et al.
Mitigating Soft Error Risks through Protecting Critical Variables and BlocksSalah S. Al-Majeed;Chih-Lin Hu;Dhinaharan Nagamalai (Hrsg). Advances in Wireless, Mobile Networks and Applications: International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. Berlin: Springer 2011 S. 137 - 145 (Communications in Computer and Information Science)
Jürjens, Jan
Model-Based Security Engineering for Evolving Systems (Invited Lecture)2011
Fourneret, Elizabeta; Ochoa, Martin; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart- cardsGünther Pernul; Juan-Carlos Trujillo Mondéjar; Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279
Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change SpecificationsMarco Bernardo; Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526