Showing 321 - 340 results of 2,069 for search 'Association for Computing Machinery', query time: 0.28s Refine Results
  1. 321
  2. 322
  3. 323
  4. 324
  5. 325
  6. 326
  7. 327
  8. 328
  9. 329
  10. 330

    Forensic genomics: kin privacy, driftnets and other open questions by Stajano, Frank, Bianchi, Lucia, Liò, Pietro, Korff, Douwe

    Published 2008
    “…Association for Computing Machinery…”
    Get full text
    Conference or Workshop Item
  11. 331

    Test-case generation for embedded simulink via formal concept analysis by He, N, Ruemmer, P, Kroening, D

    Published 2011
    “…Association for Computing Machinery…”
    Conference item
  12. 332
  13. 333

    A Tripwire Grammar for Insider Threat Detection by Agrafiotis, I, Erola, A, Goldsmith, M, Creese, S

    Published 2016
    “…Association for Computing Machinery…”
    Conference item
  14. 334

    What you jointly know determines how you act: strategic interactions in prediction markets by Gao, X, Zhang, J, Chen, Y

    Published 2013
    “…Association for Computing Machinery…”
    Conference item
  15. 335

    Know Your Enemy by Basin, D, Cremers, C

    Published 2014
    “…Association for Computing Machinery…”
    Journal article
  16. 336

    Formal techniques for effective co-verification of hardware/software co-designs by Mukherjee, R, Purandare, M, Polig, R, Kroening, D

    Published 2017
    “…Association for Computing Machinery…”
    Conference item
  17. 337

    PGX.D/async: A scalable distributed graph pattern matching engine by Roth, N, Trigonakis, V, Hong, S, Chaf, H, Potter, A, Motik, B, Horrocks, I

    Published 2017
    “…Association for Computing Machinery…”
    Conference item
  18. 338

    The need for corporate diplomacy by Sako, M

    Published 2016
    “…Association for Computing Machinery…”
    Journal article
  19. 339
  20. 340