1–50 von 70 Ergebnissen
|

    Enforcing Temporal Consistency in Real-Time Stereo Estimation

    Freier Zugriff
    Gong, Minglun | Springer Verlag | 2006
    Schlagwörter: Graphic Hardware , Computer Science , Image Processing and Computer Vision , Computer Graphics

    Identification of Printing Process Using HSV Colour Space

    Dasari, Haritha / Bhagvati, Chakravarthy | Springer Verlag | 2006
    Schlagwörter: Image Processing Technique , Computer Science , Image Processing and Computer Vision , Computer Imaging, Vision, Pattern Recognition and Graphics

    Adding Value to Automotive Models

    Böde, Eckard / Damm, Werner / Høyem, Jarl et al. | Springer Verlag | 2006
    Schlagwörter: Model Check Technique , Computer Science , Software Engineering

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

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

    Kopetz, H. | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

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

    Karsai, Gabor | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, Luciano / Ghezzi, Carlo | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Simulink Integration of Giotto/TDL

    Pree, Wolfgang / Stieglbauer, Gerald / Templ, Josef | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    A Compositional Framework for Real-Time Guarantees

    Shin, Insik / Lee, Insup | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    Software for Automotive Systems: Model-Integrated Computing

    Neema, Sandeep / Karsai, Gabor | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

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

    Mueller-Glaser, Klaus D. / Reichmann, Clemens / Kuehl, Markus et al. | Springer Verlag | 2006
    Schlagwörter: Computer Science , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, Holger | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    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 , Software Engineering

    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 , Software Engineering

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

    Neema, Sandeep / Birla, Sushil / Wang, Shige et al. | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, Edward / Huang, Henry | Springer Verlag | 2008
    Schlagwörter: Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Software Engineering

    VANET Architectures and Protocol Stacks: A Survey

    Mohammad, Sajjad Akbar / Rasheed, Asim / Qayyum, Amir | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Real-World Measurements of Non-Line-Of-Sight Reception Quality for 5.9GHz IEEE 802.11p at Intersections

    Mangel, Thomas / Michl, Matthias / Klemp, Oliver et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Degradation of Communication Range in VANETs Caused by Interference 2.0 - Real-World Experiment

    Schmidt, Robert K. / Kloiber, Bernhard / Schüttler, Florian et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    The MIH (Media Independent Handover) Contribution to Mobility Management in a Heterogeneous Railway Communication Context: A IEEE802.11/802.16 Case Study

    Aguado, Marina / Astorga, Jasone / Matias, Jon et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Performance Study of an In-Car Switched Ethernet Network without Prioritization

    Lim, Hyung-Taek / Weckemann, Kay / Herrscher, Daniel | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    A Vehicular Mobility Model Based on Real Traffic Counting Data

    Pigné, Yoann / Danoy, Grégoire / Bouvry, Pascal | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Simulative Evaluation of the Potential of Car2X-Communication in Terms of Efficiency

    Schweiger, Benno / Ehnert, Philipp / Schlichter, Johann | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Driver-Centric VANET Simulation

    Gomes, Pedro / Olaverri-Monreal, Cristina / Ferreira, Michel et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates

    Idrees, Muhammad Sabir / Schweppe, Hendrik / Roudier, Yves et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    WiMax’ble Pervasive Cloud – Empowering Next Generation Intelligent Railway Infrastructure

    Rao, Subrahmanya Venkata Radha Krishna / Diwanji, Vivek | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Wireless Protocol Design for a Cooperative Pedestrian Protection System

    Lill, Dirk / Schappacher, Manuel / Islam, Shahidul et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-Band

    Lehner, Andreas / Rico García, Cristina / Strang, Thomas et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Towards Standardization of In-Car Sensors

    Nabi, Zubair / Alvi, Atif / Mehmood, Rashid | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Delivering Broadband Internet Access for High Speed Trains Passengers Using an Innovative Network Mobility Solution

    Villeforceix, Bernadette | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    An Experimental Study of Multi-radio Platform Coexistence in the 5 GHz Band for Railway Applications

    Higuera, Jorge / Kartsakli, Elli / Collado, Carlos et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Interoperability Testing Suite for C2X Communication Components

    Ponte Müller, Fabian / Reveriego Sierra, Juan María / Kloiber, Bernhard et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Train Tracking and Shadowing Estimation Based on Received Signal Strength

    Noureddine, Hadi / Castelain, Damien / Pyndiah, Ramesh | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Requirements for Wireless Technology on Rolling Stock

    Kucharzyk, Uwe | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Behavior Specification of a Red-Light Violation Warning Application – An Approach for Specifying Reactive Vehicle-2-X Communication Applications

    Röglinger, Sebastian / Facchi, Christian | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Multiple Description Coding and Scalable Video Coding Combined with Multiple Input Multiple Output Techniques: Two Strategies to Enhance Train to Wayside Video Transmissions in Tunnels

    Fatani, Imade Fahd Eddine / Cocheril, Yann / Nsiala, Crépin et al. | Springer Verlag | 2011
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Toward Revocation Data Handling Efficiency in VANETs

    Gañán, Carlos / Muñoz, Jose L. / Esparza, Oscar et al. | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Simulations of VANET Scenarios with OPNET and SUMO

    Kaisser, Florent / Gransart, Christophe / Berbineau, Marion | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    MOFETA: A Network Architecture Based on MObile FEmtocells to Enhance Cellular Connectivity on TrAins

    Noriega-Vivas, Patricia / Campo, Celeste / Garcia-Rubio, Carlos et al. | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Wireless Driver and Vehicle Surveillance System Based on IEEE 802.11 Networks

    Różanowski, Krzysztof / Piotrowski, Zbigniew / Sondej, Tadeusz et al. | Springer Verlag | 2012
    Schlagwörter: driving technique , Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    ICDMS: An Intelligent Cloud Based Disaster Management System for Vehicular Networks

    Alazawi, Zubaida / Abdljabar, Mohmmad B. / Altowaijri, Saleh et al. | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Effective and Efficient Security Policy Engines for Automotive On-Board Networks

    Idrees, Muhammad Sabir / Roudier, Yves | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks

    Security Solutions for Highly Dynamic Car2X Networks in the KoFAS Initiative

    Sikora, Axel | Springer Verlag | 2012
    Schlagwörter: Computer Science , Computer Communication Networks , Automotive Engineering , Communications Engineering, Networks