A collaborative framework for generating probabilistic contracts

F. Martinelli, A. Saracino, D. Sgandurra, A. Aldini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUndefined/Unknown
Title of host publication2013 International Conference on Collaboration Technologies and Systems (CTS)
Pages139-142
Number of pages4
DOIs
Publication statusPublished - 1 May 2013

Keywords

  • groupware
  • invasive software
  • mobile computing
  • operating systems (computers)
  • smart phones
  • statistical testing
  • Android smartphone
  • Pearson chi squared test
  • application server
  • application usage profile
  • clustered probabilistic automata
  • collaborative framework
  • malware
  • probabilistic contract generation
  • Androids
  • Automata
  • Collaboration
  • Contracts
  • Humanoid robots
  • Probabilistic logic
  • Probability distribution
  • Android
  • Collaborative Framework
  • Malware
  • Probabilistic Contract
  • Repackaging

Cite this