search-head

Sie sind hier: Homepage >  Suche

British Library Conference Proceedings   Physik   Informatik   Bautechnik   Auswahl aufheben
201–246 von 246 Ergebnissen
|
Sortieren:

    Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

    Mueller-Glaser, K. D. / Reichmann, C. / Kuehl, M. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    A compositional Framework for Real-Time Guarantees

    Shin, I. / Lee, I. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    On the Fault Hypothesis for a Safety-Critical Real-Time System

    Kopetz, H. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006
    Schlagwörter: Computer software , Automotive software

    Agent-Based Parsimonious Decision Support Paradigm Employing Bayesian Belief Networks

    Louvieris, P. / Gregoriades, A. / Mashanovich, N. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Armed Services: Challenges for Military Distributed Systems

    Allsopp, D. N. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Representing Dispositions and Emotions in Simulated Combat

    Van Dyke Parunak, H. / Bisson, R. / Brueckner, S. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    A Mobile Agent-Based Middleware for Opportunistic Resource Allocation and Communications

    Carvalho, M. / Pechoucek, M. / Suri, N. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Distributed Decision-Making and Control for Agile Military Radio Networks

    Wise, J. / Smith, G. / Salt, J. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Cognitive Agents for Sense and Respond Logistics

    Greene, K. / Cooper, D. G. / Buczak, A. L. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Enhanced Maritime Situation Awareness with Negotiator Agents

    Hemaissia, M. / El Fallah Seghrouchni, A. / Mattioli, J. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Autonomous Agents and Multi-agent Systems (AAMAS) for the Military - Issues and Challenges

    Beautement, P. / Allsopp, D. / Greaves, M. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    A Multi-agent UAV Swarm for Automatic Target Recognition

    Dasgupta, P. / O Hara, S. / Petrov, P. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Application of Action Selection, Information Gathering, and Information Evaluation Technologies to UAV Target Tracking

    Han, D. C. / Park, J. / Fullam, K. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    Analysis and Run-Time Verification of Dynamic Security Policies

    Janicke, H. / Siewe, F. / Jones, K. et al. | British Library Conference Proceedings | 2006
    Schlagwörter: Intelligent agents (Computer software)

    2007-01-1778 Development of Telematics Software Platform using WIPI for Service-based Applications

    Choi, Y. W. / Jung, N. K. / Choi, J. S. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-1777 An Engine Start/Stop System for Improved Fuel Economy

    Bishop, J. / Nedungadi, A. / Ostrowski, G. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-1644 Design of a Digital Dash-Panel using a TFT LCD Panel and Blackfin Processor

    O Brien, D. / Walsh, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0512 The Challenges of Next Generation Automotive Benchmarks

    Leteinturier, P. / Levy, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0510 Experiences from Model Supported Configuration Management and Production of Automotive Embedded Software

    Larses, O. / Sjostedt, C.-J. / Torngren, M. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0509 The AUTOSAR Standard - The Experience of Applying Simulink According to its Requirements

    Mjeda, A. / Leen, G. / Walsh, E. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0503 Model-Based Automated Validation Techniques for Automotive Embedded Systems

    Kum, D. / Son, J. / Lee, S. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0515 Design and Implementation of an Integrated Development Environment Consisting of Engine Rapid Control Prototyping and Real Time Vehicle Simulation

    Jiang, S. / Medonza, D. / Furukawa, S. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0513 Innovative Approach to Implement Complex Automotive Electronic Systems at Reduced Time and Cost

    Bongirwar, R. A. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems

    Nadarajah, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-1624 A Three-Pillar Framework for Model-Based Engine Control System Development

    Turin, R. / Chang, M.-F. / Zhang, R. et al. | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0511 Aspect-Oriented Requirements Modeling and Analysis Methodology for Multiple Product Lines of Distributed Real-Time Automotive Software Systems

    Aoyama, M. / Yoshino, A. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    2007-01-0505 Software Testing Strategies for Model-Based Chassis Control Systems

    Chen, Y. / Jones, B. / Society of Automotive Engineers | British Library Conference Proceedings | 2007
    Schlagwörter: In vehicle software

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Modeling with the Timing Definition Language (TDL)

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

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

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

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

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

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

    Grossmann, J. / Fey, I. / Krupp, A. et al. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, E. / Huang, H. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, R. / Smolka, S.A. / Sims, S.T. | British Library Conference Proceedings | 2008
    Schlagwörter: Software engineering , Automotive software

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: Software engineering

Ergebnisse anzeigen
10 20

Suchergebnisse filtern