Showing 9,401 - 9,410 results of 11,408 for search '"Model."', 查詢時間: 0.04s Refine Results
  1. 9401

    The CORBA connector model. 由 Robert, Sylvain

    Article

    The CORBA connector model.
  2. 9402

    A middleware-independent model and language for component distribution. 由 Schmid, Hans Albrecht

    Article

    A middleware-independent model and language for component distribution.
  3. 9403

    Advances in model-based software testing (A-MOST). 由 Dalal, Siddhartha R.

    Article

    Advances in model-based software testing (A-MOST).
  4. 9404

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. 由 Bontemps, Yves

    Article

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  5. 9405

    Modeling biological systems a unified approach. 由 Darbari, Manuj

    Article

    Modeling biological systems a unified approach.
  6. 9406

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. 由 Dingel, Juergen

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  7. 9407

    Merging partial behavioural models. 由 Uchitel, Sebastian

    Article

    Merging partial behavioural models.
  8. 9408

    Reasoning about partial goal satisfaction for requirements and design engineering. 由 Letier, Emmanuel

    Article

    Reasoning about partial goal satisfaction for requirements and design engineering.
  9. 9409

    Explaining abstract counterexamples. 由 Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  10. 9410

    Empirical evaluation of defect projection models for widely-deployed production software systems. 由 Luo Li, Paul

    Article

    Empirical evaluation of defect projection models for widely-deployed production software systems.

檢索工具: