41–60 von 128 Ergebnissen
|

    Anwendungsbeispiel

    Filler, Thies | Springer Verlag | 2019
    Schlagwörter: Computer Science , Software Engineering/Programming and Operating Systems

    Durchgängiger Aufbau von Simulationsumgebungen für vernetzte Funktionen

    Filler, Thies | Springer Verlag | 2019
    Schlagwörter: Computer Science , Software Engineering/Programming and Operating Systems

    Stand der Technik

    Filler, Thies | Springer Verlag | 2019
    Schlagwörter: Computer Science , Software Engineering/Programming and Operating Systems

    Fazit

    Filler, Thies | Springer Verlag | 2019
    Schlagwörter: Computer Science , Software Engineering/Programming and Operating Systems

    Einleitung

    Filler, Thies | Springer Verlag | 2019
    Schlagwörter: Computer Science , Software Engineering/Programming and Operating Systems

    Automated Driver Scheduling for Vehicle Delivery

    Muramudalige, Shashika R. / Bandara, H. M. N. Dilum | Springer Verlag | 2018
    Schlagwörter: Computer Science , Computer Applications , Computer Communication Networks , Computer Imaging, Vision, Pattern Recognition and Graphics , Software Engineering/Programming and Operating Systems

    Understanding of Drivers Speed Decisions to Improve Traffic Management on Highways of the Future

    Matowicki, Michal / Pribyl, Ondrej | Springer Verlag | 2018
    Schlagwörter: Computer Science , Computer Applications , Computer Communication Networks , Computer Imaging, Vision, Pattern Recognition and Graphics , Software Engineering/Programming and Operating Systems

    Assessing Driving Behavior in Macau Public Transportation Through Mobile Crowd Sensing: A Study of the Macau Bus Passenger Profile

    Ma, Fei Chun / Tóng, Sok Hán / Cheang, Tak Son et al. | Springer Verlag | 2018
    Schlagwörter: Computer Science , Computer Applications , Computer Communication Networks , Computer Imaging, Vision, Pattern Recognition and Graphics , Software Engineering/Programming and Operating Systems

    Multiple-Objective Simulated Annealing Optimization Approach for Vehicle Management in Personal Rapid Transit Systems

    Chebbi, Olfa / Chaouachi, Jouhaina | Springer Verlag | 2014
    Schlagwörter: Multiobjectif programming , Computer Science , Computer Applications , Computer Communication Networks

    Design and Implementation of a Plant Morphology Modeling System Based on Evolutionary Strategy

    Ding, Weilong / Hu, Chen / Wu, Fuli et al. | Springer Verlag | 2014
    Schlagwörter: gene expression programming , Computer Science

    Programming Microcontroller via Hierarchical Finite State Machine

    Jayaraman, Ragunathan / Basiron, Haspirudin Bin / Sanga Pillai, Pavithra Malar | Springer Verlag | 2013
    Schlagwörter: programming , Computer Science , Computer Imaging, Vision, Pattern Recognition and Graphics , User Interfaces and Human Computer Interaction

    A Congested Route Discrimination Scheme Through the Analysis of Moving Object Trajectories

    Li, He / Park, Hyuk / Park, Yonghun et al. | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Systems Organization and Communication Networks , Software Engineering/Programming and Operating Systems

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, Rance / Smolka, Scott A. / Sims, Steven T. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    Modeling with the Timing Definition Language (TDL)

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K. Venkatesh / Giuli, Thomas J. / Watson, David | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, Madhukar / Fischmeister, Sebastian / Kim, Jesung et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, Juergen / Fey, Ines / Krupp, Alexander et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques