FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Peoples, Cathryn; Parr, Gerard; Schaeffer-Filho, Alberto E. et al.
Towards the simulation of energy-efficient resilience managementJason Liu; Francesco Quaglia; Stephan J. Eidenbenz; Stephen Gilmore (Hrsg). Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques SIMUTOOLS 2011: 21 - 25 March, 2011; Barcelona, Spain. New York, NY: ACM Association for Computing Machinery 2011 S. 63 - 68
Scott, David; Guo, Jinlin; Foley, Colum et al.
TRECVid 2011 Experiments at Dublin City UniversityPaul Over; George Awad; Jonathan G. Fiscus; Brian Antonishek; Martial Michel; Alan F. Smeaton; Wessel Kraaij; Georges Quénot (Hrsg). Proceedings of the 2011 TREC Video Retrieval Evaluation, TRECVID 2011, Gaithersburg, MD, USA, December 5-7, 2011. Gaithersburg, MD: NIST National Institute of Standards and Technology 2011 S. 1 - 9
Schmidt, Holger; Jürjens, Jan
UMLsec4UML2 - Adopting UMLsec to Support UML2: Using UMLsec4UML2 for the Specification of Architectural Security PatternsDortmund: Technische Universität Dortmund 2011 S. 1 - 17
Scifleet, Paul; Williams, Susan P.
Understanding Documentary Practice: Lessons Learnt from the Text Encoding InitiativeStefan Gradmann; Francesca Borri; Carlo Meghini; Heiko Schuldt (Hrsg). Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2011, Berlin, Germany, September 26-28, 2011. Proceedings. Berlin: Springer 2011 S. 272 - 283
Schenk, Simon; Dividino, Renata Queiroz; Staab, Steffen
Using provenance to debug changing ontologiesJournal of Web Semantics. Bd. 9. H. 3. Amsterdam: Elsevier 2011 S. 284 - 298
Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using Security Patterns to Develop Secure SystemsHaralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 16 - 31
Gröner, Gerd; Wende, Christian; Bošković, Marko et al.
Validation of Families of Business ProcessesHaralambos Mouratidis; Colette Rolland (Hrsg). Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011: London, UK, June 20-24, 2011; Proceedings. Berlin: Springer 2011 S. 551 - 565
Aizatulin, Mihhail; Dupressoir, François; Gordon, Andrew D. et al.
Verifying Cryptographic Code in C: Some Experience and the Csec ChallengeGilles Barthe; Anupam Datta; Sandro Etalle (Hrsg). Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Berlin: Springer 2011 S. 1 - 20
Bürckert, Hans-Jürgen; Furbach, Ulrich
Vom Schmuddelkind zum FachbereichKünstliche Intelligenz. Bd. 25. H. 4. Berlin: Springer 2011 S. 329 - 331
Lindermann, Nadine; Valcárcel, Sylvia; Von Kortzfleisch, Harald F. O.
Von der Kooperation zur Innovation: Anforderungen und Vorgehen in Richtung Web 2.0-gestützter kollaborativer Innovationen in regionalen KMU-NetzwerkenHarald F. O. von Kortzfleisch; Rüdiger H. Jung; Markus Nüttgens (Hrsg). Web 2.0 für KMU-Netzwerke: Ein gestaltungsorientierter Ansatz zur Steigerung der Innovation und Selbstorganisation von Unternehmensverbünden. Siegburg: Josef Eul 2011 S. 171 - 190