Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.
Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven DevelopmentCarlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 195 - 204
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages (CSDUML’04): Current Development and Future Challenges (Report on the Third International Workshop)Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 76 - 84
Jürjens, Jan; Houmb, Siv Hilde
Dynamic Secure Aspect Modeling with UML: From Models to CodeLionel Briand; Clay Williams (Hrsg). Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings. Berlin: Springer 2005 S. 142 - 155
Jürjens, Jan
Formal Development of Critical Systems with UML: Methods and ToolsInternational Symposium on Formal Methods for Components and Objects (FMCO 2005). 2005
Frey, Hannes; Stojmenovic, Ivan
Geographic Routing Algorithms for Ad-Hoc NetworksAhmed Safwat (Hrsg). Wireless Ad-Hoc and Sensor Networks. Berlin: Springer 2005 S. keine Angaben
Frey, Hannes
Geographical cluster based multihop ad hoc network routing with guaranteed deliveryJie Wu; Yong Guan; Zhen Jiang (Hrsg). Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems MASS 2005: November 7-10, 2005; The City Center Hotel, Washington, USA. Piscataway, NJ: IEEE Computer Society 2005 S. 10
Frey, Hannes; Görgen, Daniel
Geographical Cluster Based Routing in Sensing-Covered NetworksPhilip McKinley; Danielle C. Martin (Hrsg). Proceedings of the 25th IEEE Iinternational Conference on Distributed Computing Systems Workshops: 6-10 June 2005; Columbus, Ohio, USA. Los Alamitos, CA: IEEE Computer Society 2005 S. 885 - 891
Frey, Hannes; Stojmenovic, Ivan
Geographie and Energy-Aware Routing in Sensor NetworksIvan Stojmenovic (Hrsg). Handbook of Sensor Networks: Algorithms and Architectures. Hoboken, NJ: Wiley-Interscience 2005 S. 381 - 416
Frey, Hannes
Geographisches Routing: Grundlagen und BasisalgorithmenAachen: Shaker 2005
Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory ExtensionsRobert Nieuwenhuis (Hrsg). Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. Berlin: Springer 2005 S. 219 - 234