Department Computer Science

Filter
Kapitel

Suchergebnisse

  • 2011

    Service innovation for electronic services

    Riedl, C., Leimeister, J. M. & Krcmar, H., 1 Jan. 2011, Service Delivery Platforms: Developing and Deploying Converged Multimedia Services. CRC Press, S. 157-173 17 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • What is the benefit of a model-based design of embedded software systems in the car industry?

    Broy, M., Kirstan, S., Krcmar, H. & Schätz, B., 2011, Emerging Technologies for the Evolution and Maintenance of Software Models. IGI Global, S. 343-369 27 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    63 Zitate (Scopus)
  • 2010

    Efficient information provision for environmental and sustainability reporting

    Akkaya, C., Wolf, P. & Krcmar, H., 2010, Corporate Environmental Management Information Systems: Advancements and Trends. IGI Global, S. 213-235 23 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 2009

    Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)

    Broy, M., 2009, Communications in Computer and Information Science. Margaria, T. & Steffen, B. (Hrsg.). S. 1-13 13 S. (Communications in Computer and Information Science; Band 17).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Augmented 3D arrows reach their limits in automotive environments: Why are AR schemes confusing?

    Tönnis, M. & Klinker, G., 2009, Mixed Reality In Architecture, Design And Construction. Springer Netherlands, S. 185-202 18 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)

  • Carl adam petri and “petri nets”

    Brauer, W. & Reisig, W., 1 Jan. 2009, Fundamental Concepts In Computer Science. World Scientific Publishing Co., S. 129-139 11 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    20 Zitate (Scopus)

  • Computer science and numerical fluid mechanics - An essential cooperation

    Bungartz, H. J., Mehl, M. & Zenger, C., 2009, 100 Volumes of 'Notes on Numerical Fluid Mechanics': 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect. Krause, E. & Hirschel, E. H. (Hrsg.). S. 437-450 14 S. (Notes on Numerical Fluid Mechanics and Multidisciplinary Design; Band 100).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    2 Zitate (Scopus)

  • Considerations and Rationale for a UML System Model

    Broy, M., Cengarle, M. V., Grönniger, H. & Rumpe, B., 19 Okt. 2009, UML 2 Semantics and Applications. John Wiley & Sons, Inc., S. 43-60 18 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    15 Zitate (Scopus)

  • Definition of the System Model

    Broy, M., Cengarle, M. V., Grönniger, H. & Rumpe, B., 19 Okt. 2009, UML 2 Semantics and Applications. John Wiley & Sons, Inc., S. 61-93 33 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    18 Zitate (Scopus)

  • From ERP to enterprise service-oriented architecture

    Nicolescu, V., Wittges, H. & Krcmar, H., 2009, Handbook of Research on Enterprise Systems. IGI Global, S. 316-328 13 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Nominal verification of algorithm W

    Urban, C. & Nipkow, T., 1 Jan. 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. Cambridge University Press, Band 9780521518253. S. 363-382 20 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    10 Zitate (Scopus)

  • Real-time approaches for model-based PIV and visual fluid analysis

    Kondratieva, P., Bürger, K., Georgii, J. & Westermann, R., 2009, Imaging Measurement Methods for Flow Analysis: Results of the DFG Priority Programme 1147 "Imaging Measurement Methods for Flow Analysis" 2003-2009. Nitsche, W. & Dobriloff, C. (Hrsg.). S. 257-267 11 S. (Notes on Numerical Fluid Mechanics and Multidisciplinary Design; Band 106).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)
  • 2008

    Assuring maintainability in model-driven development of embedded systems

    Wagner, S., Deissenboeck, F., Teuchert, S. & Girard, J. F., 2008, Model-Driven Software Development: Integrating Quality Assurance. IGI Global, S. 352-373 22 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Chapter 10 Model-based Problem Solving

    Struss, P., 2008, Handbook of Knowledge Representation. Harmelen, F., Lifschitz, V. & Porter, B. (Hrsg.). S. 395-465 71 S. (Foundations of Artificial Intelligence; Band 3).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    22 Zitate (Scopus)

  • Chapter Eight Intelligent Environmental Decision Support Systems

    Sànchez-Marrè, M., Gibert, K., Sojda, R. S., Steyer, J. P., Struss, P., Rodríguez-Roda, I., Comas, J., Brilhante, V. & Roehl, E. A., 2008, Environmental Modelling, Software and Decision Support. Jakeman, A. J., Voinov, A. A., Rizzoli, A. E. & Chen, S. H. (Hrsg.). S. 119-144 26 S. (Developments in Integrated Environmental Assessment; Band 3).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    14 Zitate (Scopus)

  • MusicMap - Eine Kartographische Metapher für Fahrerinformationssysteme

    Broy, V., Rölle, C. & Klinker, G., 2008, VDI Berichte. 2041 Aufl. S. 43-54 12 S. (VDI Berichte; Nr. 2041).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Open source portals for online simulation games? The computer-supported business game "Go4C" for realistic IT and business management training

    Baume, M., Taranovych, Y. & Krcmar, H., 2008, 2nd European Conference on Games Based Learning, ECGBL 2008. Stansfield, M. & Conolly, T. (Hrsg.). Dechema e.V., S. 31-42 12 S. (Proceedings of the European Conference on Games-based Learning; Band 2008-January).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Services science - A computer scientist's perspective

    Bichler, M., 2008, Services Science: Fundamentals, Challenges and Future Developments. Springer Berlin Heidelberg, S. 79-84 6 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • The perspective of informatics

    Böhmann, T., Jahner, S. & Krcmar, H., 2008, Services Science: Fundamentals, Challenges and Future Developments. Springer Berlin Heidelberg, S. 149-154 6 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 2007

    A model-based methodology for the integration of diagnosis and fault analysis during the entire life cycle

    Struss, P., 2007, Fault Detection, Supervision and Safety of Technical Processes 2006. Elsevier Ltd, Band 2. S. 1157-1162 6 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)

  • Application-oriented evaluation of the SDM reference model: Framework, instantiation and initial findings

    Böhmann, T., Schermann, M. & Krcmar, H., 2007, Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models. Physica-Verlag HD, S. 123-144 22 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    2 Zitate (Scopus)

  • Embedded systems and software technology in the automotive domain

    Broy, M., 1 Jan. 2007, Handbook of Real-Time and Embedded Systems. CRC Press, S. 38-1-38-18

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Extending the p-Version of Finite Elements by an Octree-Based Hierarchy

    Mundani, R. P., Bungartz, H. J., Rank, E., Niggl, A. & Romberg, R., 2007, Domain Decomposition Methods in Science and Engineering XVI. Springer Verlag, S. 699-706 8 S. (Lecture Notes in Computational Science and Engineering; Band 55).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    4 Zitate (Scopus)

  • Mobile automotive cooperative services (MACS): Systematic development of personalizable interactive mobile automotive services

    Hoffman, H., Leimeister, J. M. & Krcmar, H., 2007, Global Mobile Commerce: Strategies, Implementation and Case Studies. IGI Global, S. 199-214 16 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Modular hierarchies of models for embedded systems

    Broy, M., 1 Jan. 2007, Handbook of Real-Time and Embedded Systems. CRC Press, S. 32-1-32-26

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • 2006

    A theory for requirements specification and architecture design of multi-functional software systems

    Broy, M., 1 Jan. 2006, Mathematical Frameworks For Component Software: Models For Analysis And Synthesis. World Scientific Publishing Co., S. 119-154 36 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)

  • Business potentials of ubiquitous computing

    Sandner, U., Leimeister, J. M. & Krcmar, H., 2006, Managing Development and Application of Digital Technologies: Research Insights in the Munich Center for Digital Technology & Management (CDTM). Springer Berlin Heidelberg, S. 277-291 15 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    10 Zitate (Scopus)

  • Einfluss eines Aktiven Gaspedals auf Akzeptanz, Blickverhalten und Fahrperformance

    Lange, C., Tönnis, M., Bubb, H. & Klinker, G., 2006, VDI Berichte. 1960 Aufl. S. 581-602 22 S. (VDI Berichte; Nr. 1960).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Fluid-structure interaction on Cartesian grids: Flow simulation and coupling environment

    Brenk, M., Bungartz, H. J., Mehl, M. & Neckel, T., 2006, Fluid-Structure Interaction: Modelling, Simulation, Optimisation. Springer Verlag, S. 233-269 37 S. (Lecture Notes in Computational Science and Engineering; Band 53).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    37 Zitate (Scopus)

  • Innovation in engineering software intensive systems

    Broy, M., 2006, Managing Development and Application of Digital Technologies: Research Insights in the Munich Center for Digital Technology & Management (CDTM). Springer Berlin Heidelberg, S. 3-15 13 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

  • Lessons learned in designing ubiquitous augmented reality user interfaces

    Sandor, C. & Klinker, G., 2006, Emerging Technologies of Augmented Reality: Interfaces and Design. IGI Global, S. 218-235 18 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    5 Zitate (Scopus)

  • Transfer von Flugschlauchanzeigen in das Head-up Display von Kraftfahrzeugen

    Tönnis, M., Lange, C., Klinker, G. & Bubb, H., 2006, VDI Berichte. 1960 Aufl. S. 613-624 12 S. (VDI Berichte; Nr. 1960).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)
  • 2005

    Communication systems: A unified model of socially intelligent systems

    Nickles, M., Rovatsos, M., Brauer, W. & Weiß, G., 2005, Socionics: Scalability of Complex Social Systems. Springer Verlag, S. 289-313 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3413 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    1 Zitat (Scopus)

  • Component-based development of dependable systems with UML

    Jürjens, J. & Wagner, S., 2005, Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Springer Verlag, S. 320-344 25 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3778 LNCS).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    14 Zitate (Scopus)

  • The impact of models in software development

    Broy, M., 2005, Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Springer Verlag, S. 396-405 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2605 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)
  • 2004

    A note on Karr's algorithm

    Müller-Olm, M. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1016-1028 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    66 Zitate (Scopus)

  • Certifying Machine Code Safety: Shallow Versus Deep Embedding

    Wildmoser, M. & Nipkow, T., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Slind, K., Gopalakrishnan, G. & Bunker, A. (Hrsg.). Springer Verlag, S. 305-320 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3223).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    44 Zitate (Scopus)

  • Counting in trees for free

    Seidl, H., Schwentick, T., Muscholl, A. & Habermehl, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1136-1149 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    70 Zitate (Scopus)

  • Numerical simulations on PC graphics hardware

    Krüger, J., Schiwietz, T., Kipfer, P. & Westermann, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kranzlmuller, D., Kacsuk, P. & Dongarra, J. (Hrsg.). Springer Verlag, S. 442-449 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3241).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    3 Zitate (Scopus)

  • The Succinct Solver Suite

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (Hrsg.). Springer Verlag, S. 251-265 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2988).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    21 Zitate (Scopus)
  • 2003

    Fully private auctions in a constant number of rounds

    Brandt, F., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wright, R. N. (Hrsg.). Springer Verlag, S. 223-238 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2742).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    47 Zitate (Scopus)

  • Service-oriented systems engineering: Modeling services and layered architectures

    Broy, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Konig, H., Heiner, M. & Wolisz, A. (Hrsg.). Springer Verlag, S. 48-61 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2767).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    19 Zitate (Scopus)

  • Structured proofs in Isar/HOL

    Nipkow, T., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geuvers, H. & Wiedijk, F. (Hrsg.). Springer Verlag, S. 259-278 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2646).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    40 Zitate (Scopus)
  • 1988

    Extensions to ATMS-based diagnosis.

    Struss, P., 1988, Unknown Host Publication Title. Comput. Mech. Publications

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung