A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
LibreCat: /record/8388
DOI: http://dx.doi.org/10.1016/j.entcs.2004.05.006

Systematic Validation of Model Transformations
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat: /record/8389

Comparing two Model Transformation Approaches
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
LibreCat: /record/8390

Towards Inconsistency Handling of Object-Oriented Behavioral Models
J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.
LibreCat: /record/8391
DOI: http://dx.doi.org/10.1016/j.entcs.2004.02.056

UML for FPGA Synthesis
T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
LibreCat: /record/8392

Taming Model Round-Trip Engineering
S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
LibreCat: /record/8393

Virtual conference: a telecooperative learning environment
H.-H. Kremer, in: S. Banks, P. Goodyear, V. Hodgson, C. Jones, V. Lally, D. McConnel, C. Steeples (Eds.), Networked Learning 2004. A research based conference on e-learning in higher education and lifelong learning, Lancaster, 2004, pp. 751–752.
LibreCat: /record/8450

Organisation und didaktische Ausrichtung des "Praxissemesters" im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz
T. Deißinger, H.-H. Kremer, in: A. Backes-Haase, H. Frommer (Eds.), Theorie-Praxis-Verzahnung in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg., Baltmannsweiler, 2004, pp. 88–105.
LibreCat: /record/8451

Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?
H.-H. Kremer, in: F. Gramlinger, S. Steinemann, T. Tramm (Eds.), Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004), 2004.
LibreCat: /record/8452

Virtual conference - a cooperative learning environment for teacher education?
H.-H. Kremer, in: R. Bennett (Ed.), The annual conference of the Association for Information Technology in Teacher Education, Chester, 2004.
LibreCat: /record/8453

Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte
H.-H. Kremer, in: F. Gramlinger, S. Steinemann, T. Tramm (Eds.), Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung, Paderborn, 2004, pp. 82–95.
LibreCat: /record/8454

Cross-layer optimization of OFDM transmission systems for MPEG-4 video streaming
J. Gross, J. Klaue, H. Karl, A. Wolisz, Computer Communications (2004) 1044--1055.
LibreCat: /record/850
DOI: 10.1016/j.comcom.2004.01.010

Ambient networks: An architecture for communication networks beyond 3G
N. Niebert, A. Schieder, H. Abramowicz, G. Malmgren, J. Sachs, U. Horn, C. Prehofer, H. Karl, IEEE Wireless Communications (2004) 14--22.
LibreCat: /record/851
DOI: 10.1109/MWC.2004.1295733

Improving the Energy Efficiency of Directed Diffusion Using Passive Clustering
V. Handziski, A. Köpke, H. Karl, C. Frank, W. Drytkiewicz, in: Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings, 2004, pp. 172--187.
LibreCat: /record/852
DOI: 10.1007/978-3-540-24606-0_12

Research Challenges in Mobility and Moving Networks: An Ambient Networks View
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP T Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
LibreCat: /record/853
DOI: 10.1007/0-387-24043-8_15

Consistency challenges of service discovery in mobile ad hoc networks
C. Frank, H. Karl, in: Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004, 2004, pp. 105--114.
LibreCat: /record/854
DOI: 10.1145/1023663.1023684

A Geometric Derivation of the Probability of Finding a Relay in Multi-rate Networks
L. Marie Feeney, D. Hollos, M. Kubisch, S. Mengesha, H. Karl, in: NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-T Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings, 2004, pp. 1312--1317.
LibreCat: /record/855
DOI: 10.1007/978-3-540-24693-0_112

Regionalizing global optimization algorithms to improve the operation of large ad hoc networks
D. Hollos, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference, WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 819--824.
LibreCat: /record/856
DOI: 10.1109/WCNC.2004.1311292

Queue-driven cut-through medium access in wireless ad hoc networks
D. Raguin, M. Kubisch, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 1909--1914.
LibreCat: /record/857
DOI: 10.1109/WCNC.2004.1311845

Data Transmission in Mobile Communication Systems
H. Karl, in: Location-Based Services, 2004, pp. 207--244.
LibreCat: /record/858