Showing 91 - 100 results of 100 for search '"Management of Computing and Information Systems."', query time: 0.02s Refine Results
  1. 91

    Formal methods state of the art and future directions. by Clarke, Edmund M.

    Published in ACM computing surveys.
    Article

    Formal methods state of the art and future directions.
  2. 92

    Learning how to tell ham from spam. by Sakkis, George

    Article

    Learning how to tell ham from spam.
  3. 93

    On patrol resource allocation, proofs of work, and consequences. by Molnar, David

    Article

    On patrol resource allocation, proofs of work, and consequences.
  4. 94

    Public key cryptography. by Mohapatra, Pradosh Kumar

    Article

    Public key cryptography.
  5. 95

    Software product lines structuring based upon market demands. by Ereño, Montse

    Article

    Software product lines structuring based upon market demands.
  6. 96

    Importance of software component characterization for better software reusability. by Gill, Nasib S.

    Article

    Importance of software component characterization for better software reusability.
  7. 97

    An expert committee model to estimate lines of code. by Aggarwal, K. K.

    Article

    An expert committee model to estimate lines of code.
  8. 98

    Implementing protocols via declarative event patterns. by Walker, Robert J.

    Article

    Implementing protocols via declarative event patterns.
  9. 99

    Practical network support for IP traceback. by Savage, Stefan

    Article

    Practical network support for IP traceback.
  10. 100

    Efficient and decentralized computation of approximate global state. by Keshav, S.

    Article

    Efficient and decentralized computation of approximate global state.

Search Tools: