Visas 9 421 - 9 430 av 11 408 resultat för sökning '"Model."', Sökningstid: 0,04s Förfina resultatet
  1. 9421

    Modular verification of collaboration-based software designs. av Fisler, Kathi

    I publikationen Software engineering notes.
    Artikel

    Modular verification of collaboration-based software designs.
  2. 9422

    Automatic abstraction for model checking software systems with interrelated numeric constraints. av Choi, Yunja

    I publikationen Software engineering notes.
    Artikel

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  3. 9423

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. av Engels, Gregor

    I publikationen Software engineering notes.
    Artikel

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  4. 9424

    MPLS and traffic engineering in IP networks. av Awduche, D.O

    Artikel

    MPLS and traffic engineering in IP networks.
  5. 9425

    The TINA Consortium. av Inoue, Y.

    Artikel

    The TINA Consortium.
  6. 9426

    Parallel simulation techniques for large-scale networks. av Bhatt, S.

    Artikel

    Parallel simulation techniques for large-scale networks.
  7. 9427

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. I. Design methodologies and software architecture. av Li, San-Qi

    Artikel

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. I. Design methodologies and software architecture.
  8. 9428

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. II. Network applications. av Li, San-Qi

    Artikel

    SMAQ a measurement-based tool for traffic modeling and queuing analysis. II. Network applications.
  9. 9429

    Extending the effective bandwidth concept to networks with priority classes. av Berger, A.W

    Artikel

    Extending the effective bandwidth concept to networks with priority classes.
  10. 9430

    Broadband traffic modeling simple solutions to hard problems. av Addie, R.G

    Artikel

    Broadband traffic modeling simple solutions to hard problems.

Sökverktyg: