Efficient Execution of UML State Machines on a Virtual Machine
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat: /record/7931

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

openVisaar: Enriching Cooperative Visualization by Combining Open Technologies
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
LibreCat: /record/16803
DOI: 10.1007/978-3-540-30103-5_5

An XML-based visual shading language for vertex and fragment shaders
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, ACM, 2004, pp. 87–97.
LibreCat: /record/16804
DOI: 10.1145/985040.985054

Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization
E. Warsitz, R. Haeb-Umbach, S. Peschke, in: International Conference on Spoken Language Processing (ICSLP 2004), 2004.
LibreCat: /record/11932

Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials
M. Preuss, W.G. Schmidt, K. Seino, J. Furthmüller, F. Bechstedt, Journal of Computational Chemistry 25 (2004) 112–122.
LibreCat: /record/13722
DOI: 10.1002/jcc.10372

Sundholm, Göran. cFrege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutungd, In: History and Philosophy of Logic 22 (2001), 57373
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (2004).
LibreCat: /record/18487

Klement, Kevin C., cRussell9s Paradox in Appendix B of the Principles of Mathematics: Was Frege9s response adequate?d, In: History and Philosophy of Logic 22 (2001), 13-28
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
LibreCat: /record/18489

Advanced Hysteresis Control of Brushless DC Motors
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat: /record/29921

Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat: /record/33830

eLiebe geht durch den Magenc: Mahlzeit und Familienglück im Strom der Zeit
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
LibreCat: /record/36082

The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth
M.T. de los Arcos de Pedro, M.G. Garnier, J.W. Seo, P. Oelhafen, V. Thommen, D. Mathys, The Journal of Physical Chemistry B (2004) 7728–7734.
LibreCat: /record/22615
DOI: 10.1021/jp049495v

Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat: /record/39055

Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat: /record/39352
DOI: 10.1007/978-3-540-30187-5_17

Virtualizing Hardware with Multi-Context Reconfigurable Arrays
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
LibreCat: /record/2421
DOI: 10.1007/b12007

Checking Consistency in UML Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16