Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Hopfgartner, Frank; Vallet, David; Halvey, Martin et al.

Search Trails using User Feedback to Improve Video Search

Abdulmotaleb El Saddik; Son Vuong; Carsten Griwodz; Alberto Del Bimbo; K. Selcuk Candan; Alejandro Jaimes; Balakrishnan Prabhakaran (Hrsg). Proceedings of the 16th ACM International Conference on Multimedia MM2008: Vancouver, BC, Canada; October 27-31, 2008. New York, NY: ACM Association for Computing Machinery 2008 S. 339 - 348


Jürjens, Jan

Security protocols, properties, and their monitoring

Bart De Win; Seok-Won Lee; Mattia Monga (Hrsg). Proceedings of the 4th International Workshop on Software Engineering for Secure Systems SESS 2008 held at the Thirteenth International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 33 - 40


Spichkova, Maria; Jürjens, Jan

Stream Based Specification of Cryptographic Protocols and Their Composition Properties

München: Technische Universität München, Institut für Informatik 2008


Hopfgartner, Frank

Studying Interaction Methodologies in Video Retrieval

Proceedings of the VLDB Endowment. Bd. 1. H. 2. New York, NY: ACM Association for Computing Machinery 2008 S. 1604 - 1608


Yu, Yijun; Jürjens, Jan; Schreck, Jörg

Tools for Traceability in Secure Software Development

Paola Inverardi; Andrew Ireland; Willem Visser (Hrsg). Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008: 15-19 September, 2008; L’Aquila , Italy. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 503 - 504


Jürjens, Jan; Yu, Yijun; Bauer, Andreas

Tools for Traceable Security Verification

Samson Abramsky; Erol Gelenbe; Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378


Ratiu, Daniel; Feilkas, Martin; Deissenböck, Florian et al.

Towards a Repository of Common Programming Technologies Knowledge

International Workshop on Semantic Technologies in System Maintenance (STSM 2008). 2008 S. 1 - 24


Jürjens, Jan

Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets Extension

ABZ 2008 VSRnet Workshop. 2008 S. 1 - 31


Yu, Yijun; Jürjens, Jan; Mylopoulos, John

Traceability for the Maintenance of Secure Software

Fuqing Yang; Scott Tilley; Hong Mei; Kenny Wong (Hrsg). Proceedings of the 2008 IEEE International Conference on Software Maintenance ICSM 2008: September 28 - October 4, 2008 Beijing, China. Los Alamitos, CA: IEEE Computer Society 2008 S. 297 - 306


Vallet, David; Hopfgartner, Frank; Jose, Joemon M.

Use of Implicit Graph for Recommending Relevant Videos: A Simulated Evaluation

Mohand Boughanem;Catherine Berrut;Josiane Mothe;Chantal Soule-Dupuy (Hrsg). Advances in Information Retrieval: 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings. Berlin: Springer 2008 S. 199 - 210