Résultat(s) 91 - 100 résultats de 100 pour la requête '"MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS."', Temps de recherche: 0,03s Affiner les résultats
  1. 91

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

    Publié dans ACM computing surveys.
    Article

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

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

    Article

    Learning how to tell ham from spam.
  3. 93

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

    Article

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

    Public key cryptography. par Mohapatra, Pradosh Kumar

    Article

    Public key cryptography.
  5. 95

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

    Article

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

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

    Article

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

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

    Article

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

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

    Article

    Implementing protocols via declarative event patterns.
  9. 99

    Practical network support for IP traceback. par Savage, Stefan

    Article

    Practical network support for IP traceback.
  10. 100

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

    Article

    Efficient and decentralized computation of approximate global state.

Outils de recherche: