Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Washizaki, Hironori; Yoshioka, Nobukazu; Fernandez, Eduardo B. et al.
Proceedings of the Third International Workshop on Software Patterns and Quality SPAQu’09: 25. October 2009Tokyo: GRACE Center for Global Research in Advanced Software Science and Engineering 2009
Kaiser, Robert; Zöbel, Dieter
Quantitative Analysis and Systematic Parametrization of a Two-Level Real-Time SchedulerAntoni Giró; Montserrat Casas; Fernando Aldana; Juan Gámiz (Hrsg). 14th IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2009: September 22-26, 2009; University of Balearic Islands; Mallorca, Spain. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 8
Frey, Hannes; Rührup, Stefan; Stojmenovic, Ivan
Routing in Wireless Sensor NetworksSubhas Chandra Misra;Isaac Woungang;Sudip Misra (Hrsg). Guide to Wireless Sensor Networks. London: Springer 2009 S. 81 - 111
Jürjens, Jan; Fernandez, Eduardo
Secure Database DevelopmentLing Liu; M. Tamer Özsu (Hrsg). Encyclopedia of Database Systems. Boston: Springer 2009 S. 2528 - 2534
Mouratidis, Haralambos; Sunyaev, Ali; Jürjens, Jan
Secure Information Systems Engineering: Experiences and Lessons Learned from two Health Care ProjectsPascal van Eck; Jaap Gordijn; Roel Wieringa (Hrsg). Advanced Information Systems Engineering: 21st International Conference, CAiSE 2009: Amsterdam, The Netherlands, June 8-12, 2009; Proceedings. Berlin: Springer 2009 S. 231 - 245
Lloyd, John; Jürjens, Jan
Security Analysis of a Biometric Authentication System using UMLsec and JMLAndy Schürr; Bran Selic (Hrsg). Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Berlin: Springer 2009 S. 77 - 91
Jürjens, Jan
Security and Dependability EngineeringSpyros Kokolakis; Antonio Maña Gómez; George Spanoudakis (Hrsg). Security and Dependability for Ambient Intelligence. Boston: Springer 2009 S. 21 - 36
Sofronie-Stokkermans, Viorica
Sheaves and Geometric Logic and Applications to Modular Verification of Complex SystemsElectronic Notes in Theoretical Computer Science. Bd. 230. Amsterdam: Elsevier 2009 S. 161 - 187
Goyal, Anuj; Punitha, P.; Hopfgartner, Frank et al.
Split and Merge based Story Segmentation in News VideosMohand 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 2009 S. 766 - 770
Urruty, Thierry; Hopfgartner, Frank; Hannah, David et al.
Supporting Aspect-Based Video Browsing – Analysis of a User StudyStéphane Marchand-Maillet;Ioannis Kompatsiaris (Hrsg). Proceedings of the ACM International Conference on Image and Video Retrieval CIVR 2009: July 8-10, 2009; Santorini Island, Greece. New York, NY: ACM Association for Computing Machinery 2009