Gösterilen 9,421 - 9,430 sonuçlar arası kayıtlar. 11,408 sonuç. Aranan kelime '"Modeling"', Sorgu süresi: 0.04s Sonuçları Daraltın
  1. 9421

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

    Makale

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

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

    Makale

    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. Yazar: Engels, Gregor

    Makale

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

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

    Makale

    MPLS and traffic engineering in IP networks.
  5. 9425

    The TINA Consortium. Yazar: Inoue, Y.

    Makale

    The TINA Consortium.
  6. 9426

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

    Makale

    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. Yazar: Li, San-Qi

    Makale

    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. Yazar: Li, San-Qi

    Makale

    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. Yazar: Berger, A.W

    Makale

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

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

    Makale

    Broadband traffic modeling simple solutions to hard problems.

Arama Araçları: