@inproceedings{9524, author = {{Fu, Bo and Hemsel, Tobias and Wallaschek, Jörg}}, booktitle = {{Proceedings of the 18th International Congress on Acoustics, ICA}}, pages = {{4--9}}, title = {{{Model-based Diagnosis for Sandwiched Ultrasonic Transducers}}}, year = {{2004}}, } @proceedings{7782, editor = {{Engels, Gregor and Seehusen, S.}}, number = {{P-52}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn (Germany)}}}, year = {{2004}}, } @proceedings{7783, editor = {{Engels, Gregor and Sauer, Stefan}}, number = {{6}}, publisher = {{World Scientific}}, title = {{{Modeling and Development of Multimedia Systems}}}, doi = {{http://dx.doi.org/10.1142/S021819400400183X}}, volume = {{14}}, year = {{2004}}, } @proceedings{7784, editor = {{Ehrig, Hartmut and Engels, Gregor and Parisi-Presicce, F. and Rozenberg, Grzegorz}}, publisher = {{Springer}}, title = {{{Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)}}}, doi = {{http://dx.doi.org/10.1007/b100934}}, volume = {{3256}}, year = {{2004}}, } @inproceedings{7917, author = {{Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}}, booktitle = {{Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)}}, pages = {{611--616}}, publisher = {{IEEE Computer Society}}, title = {{{Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}}}, year = {{2004}}, } @inproceedings{7918, author = {{Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}}, booktitle = {{Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}}, pages = {{155--166}}, publisher = {{IEEE Computer Society}}, title = {{{Style-Based Refinement of Dynamic Software Architectures}}}, year = {{2004}}, } @inproceedings{7919, author = {{Belli, Fevzi and Güldali, Baris}}, booktitle = {{Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}}, pages = {{907--916}}, publisher = {{Springer}}, title = {{{Software Testing via Model Checking}}}, doi = {{http://dx.doi.org/10.1007/b101749}}, volume = {{3280}}, year = {{2004}}, } @inproceedings{7920, author = {{Heckel, Reiko and Guo, Ping}}, booktitle = {{Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)}}, pages = {{65--79}}, publisher = {{Springer}}, title = {{{Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation}}}, doi = {{dx.doi.org/10.1007/0-387-22874-8_5}}, volume = {{158}}, year = {{2004}}, } @inproceedings{7921, author = {{Heckel, Reiko and Cherchago, Alexey}}, booktitle = {{Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)}}, publisher = {{Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)}}, title = {{{Application of Graph Transformation for Automating Web Service Discovery}}}, year = {{2004}}, } @inproceedings{7922, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)}}, pages = {{121--128}}, publisher = {{IEEE Computer Society}}, title = {{{Model-Based Design of Embedded Systems}}}, year = {{2004}}, }