Showing 8,691 - 8,700 results of 9,877 for search '"Theory"', query time: 0.05s Refine Results
  1. 8691

    Some agent theory for the semantic web. by Fass, Leona F.

    Article

    Some agent theory for the semantic web.
  2. 8692

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

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  3. 8693

    Efficient incremental algorithms for dynamic detection of likely invariants. by Perkins, Jeff H.

    Article

    Efficient incremental algorithms for dynamic detection of likely invariants.
  4. 8694

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  5. 8695

    A formal approach to the assessment and improvement of terminological models used in information systems engineering. by Wendorff, Peter

    Article

    A formal approach to the assessment and improvement of terminological models used in information systems engineering.
  6. 8696

    The structure and value of modularity in software design. by Sullivan, Kevin J.

    Article

    The structure and value of modularity in software design.
  7. 8697

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  8. 8698

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

    Article

    Modular verification of collaboration-based software designs.
  9. 8699

    Analysis of the constraint solver in UNA based test data generation. by Edvardsson, Jon

    Article

    Analysis of the constraint solver in UNA based test data generation.
  10. 8700

    TELPACK an advanced teletraffic analysis package. by Akar, N.

    Article

    TELPACK an advanced teletraffic analysis package.

Search Tools: