FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Montrieux, Lionel; Jürjens, Jan; B. Haley, Charles et al.
Tool Support for Code Generation from a UMLsec PropertyCharles Pecheur; Jamie Andrews; Elisabetta Di Nitto (Hrsg). Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010: September 20 - 24, 2010; Antwerp, Belgium. New York, NY: ACM Association for Computing Machinery 2010 S. 357 - 358
Bicking, Melanie; Wimmer, Maria A.
Tools and Technologies in eParticipation: Insights from Project EvaluationFiorella De Cindio;Ann Macintosh;Cristian Peraboni (Hrsg). Online Deliberation: Fourth International Conference OD 2010; Leeds, UK; 30 June - 2 July, 2010 Proceedings. Leeds: University of Leeds 2010 S. 75 - 86
Mathews, Emi; Frey, Hannes
Topological Cluster Based Geographic Routing in Multihop Ad Hoc NetworksJaime Lloret Mauri; Sergey Balandin; Cosmin Dini (Hrsg). UBICOMM 2010: The Fourth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; October 25-30, 2010 - Florence, Italy. Red Hook, NY: Curran 2010 S. 342 - 345
Blanco, Carlos; Fernández-Medina, Eduardo; Trujillo, Juan et al.
Towards the Secure Modelling of OLAP Users’ BehaviourWillem Jonker; Milan Petković (Hrsg). Secure Data Management: 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings. Berlin: Springer 2010 S. 101 - 112
Misra, Hemant; Hopfgartner, Frank; Goyal, Anuj et al.
TV News Video Story Segmentation based on Semantic Coherence and Content SimilaritySusanne Boll; Qi Tian; Lei Zhang; Zili Zhang; Yi-Ping Phoebe Chen (Hrsg). Advances in Multimedia Modeling: 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings. Berlin: Springer 2010 S. 347 - 357
Kaune, Sebastian; Rumín, Rubén Cuevas; Tyson, Gareth et al.
Unraveling BitTorrent’s File Unavailability: Measurements and AnalysisDick Epema; Henk Sips; Maarten van Steen; Ben Zhao (Hrsg). Proceedings of the Tenth IEEE International Conference on Peer-to- Peer Computing P2P 2010: Delft, The Netherlands, 25-27 August 2010. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2010 S. 1 - 9
Von Kortzfleisch, Harald F. O.
Unternehmensnetzwerke und Web 2.0: Chancen, Herausforderungen und offene ManagementstrategienBerthold H. Hass; Rüdiger H. Jung; Carlo Simon (Hrsg). Management in regionalen Netzwerken: Grundlagen, Anwendungen, Perspektiven. Aachen: Shaker 2010 S. 223 - 236
Beierle, Christoph; Freund, Bernhard; Kern-Isberner, Gabriele et al.
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private LawPietro Baroni; Federico Cerutti; Massimiliano Giacomin; Guillermo R. Simari (Hrsg). Computational Models of Argument: Prodeedings of the Third Conference on Computational Models of Argument COMMA 2010; Desenzano del Garda, Italy; September 8-10, 2010. Amsterdam: IOS Press 2010 S. 87 - 98
Parreiras, Fernando Silva; Staab, Steffen
Using ontologies with UML class-based modeling: The TwoUse approachData & Knowledge Engineering. Bd. 69. H. 11. Amsterdam: Elsevier 2010 S. 1194 - 1207
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan
Verifying authentication properties of C security protocol code using general verifiersFourth International Workshop on Analysis of Security APIs,. 2010