1–20 von 20 Ergebnissen
|

    Automotive Software: A Challenge and Opportunity for Model-Based Software Development

    Karsai, G. | British Library Conference Proceedings | 2006

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008

    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006

    A resilient and secure software platform and architecture for distributed spacecraft [9085-19]

    Otte, W.R. / Dubey, A. / Karsai, G. et al. | British Library Conference Proceedings | 2014

    Automating human based negotiation processes for autonomic logistics

    Karsai, G. / Bloor, G. / Doyle, J. | IEEE | 2000

    Synthesis of self-adaptive software

    Ledeczi, A. / Karsai, G. / Bapty, T. | IEEE | 2000

    A modeling language and its supporting tools for avionics systems

    Karsai, G. / Neema, S. / Abbott, B. et al. | IEEE | 2002

    Model-based software tools for integrated vehicle health management

    Karsai, G. / Biswas, G. / Abdelwahed, S. et al. | IEEE | 2006

    Distributed middleware services composition and synthesis technology

    Maroti, M. / Volgyesi, P. / Simon, G. et al. | IEEE | 2003

    Component Generation Technology for Semantic Tool Integration

    Karsai, G. / Gray, J. / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2000

    Radiation-aware Design for Cubesat Form-Factor Experiment Using Goal Structuring Notation

    Austin, R. / Mahadevan, N. / Witulski, A. et al. | NTRS | 2016

    Model-Based Programming for Parallel Image Processing

    Moore, M. S. / Karsai, G. / Sztipanovits, J. et al. | British Library Conference Proceedings | 1994

    Automating Human Based Negotiation Processes for Autonomic Logistics

    Karsai, G. / Bloor, G. / Doyle, J. et al. | British Library Conference Proceedings | 2000

    Synthesis of Self-Adaptive Software

    Ledeczi, A. / Karsai, G. / Bapty, T. et al. | British Library Conference Proceedings | 2000

    AIAA-2005-2537 Attaining Program Affordability Through Integration of Logistical Operations and Health Maintenance

    Goforth, A. / Neches, R. / Karsai, G. et al. | British Library Conference Proceedings | 2005

    Programming model for distributed intelligent systems

    Sztipanovits, J. / Biegl, C. / Karsai, G. et al. | NTRS | 1988

    An evolvable tri-reasoner IVHM system

    Atlas, L. / Bloor, G. / Brotherton, T. et al. | IEEE | 2001