Showing 8,691 - 8,700 results of 9,883 for search '"Theory."', Forespørselstid: 0.05s Refine Results
  1. 8691

    Joining dataflow with predicates. af Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  2. 8692

    Reengineering towards components using "Reconn-exion". af Le Gear, Andrew

    Article

    Reengineering towards components using "Reconn-exion".
  3. 8693

    A refinement calculus for software components and architectures. af Barbosa, Marco Antonio

    Article

    A refinement calculus for software components and architectures.
  4. 8694

    Model-based testing for applications derived from software product lines. af Olimpiew, Erika Mir

    Article

    Model-based testing for applications derived from software product lines.
  5. 8695

    Generating optimal distinguishing sequences with a model checker. af Robinson-Mallett, Christopher

    Article

    Generating optimal distinguishing sequences with a model checker.
  6. 8696

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

    Article

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

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

    Article

    Some agent theory for the semantic web.
  8. 8698

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

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  9. 8699

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

    Article

    Efficient incremental algorithms for dynamic detection of likely invariants.
  10. 8700

    A micromodularity mechanism. af Jackson, Daniel

    Article

    A micromodularity mechanism.

Søgeredskaber: