Showing 1 - 20 results of 20 for search 'Association for Computing Machinery ', query time: 0.07s Refine Results
  1. 1
    Model-based security analysis of a water treatment system

    Model-based security analysis of a water treatment system by Kang, Eunsuk, Adepu, Sridhar, Jackson, Daniel, Mathur, Aditya P.

    Published 2018
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  2. 2
    Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift

    Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift by Kuraj, Ivan, Jackson, Daniel

    Published 2018
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  3. 3
    Programming with enumerable sets of structures

    Programming with enumerable sets of structures by Kuraj, Ivan, Kuncak, Viktor, Jackson, Daniel

    Published 2018
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  4. 4
    Designing minimal effective normative systems with the help of lightweight formal methods

    Designing minimal effective normative systems with the help of lightweight formal methods by Hao, Jianye, Kang, Eunsuk, Sun, Jun, Jackson, Daniel

    Published 2018
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Article
  5. 5
    Object spreadsheets: a new computational model for end-user development of data-centric web applications

    Object spreadsheets: a new computational model for end-user development of data-centric web applications by McCutchen, Richard Matthew, Itzhaky, Shachar, Jackson, Daniel

    Published 2018
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Get full text
    Article
  6. 6
    A direct path to dependable software

    A direct path to dependable software by Jackson, Daniel

    Published 2010
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Article
  7. 7
    Separation of concerns for dependable software design

    Separation of concerns for dependable software design by Jackson, Daniel, Kang, Eunsuk

    Published 2011
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  8. 8
    Agile specifications

    Agile specifications by Rayside, Derek, Milicevic, Aleksandar, Yessenov, Kuat T., Jackson, Daniel

    Published 2011
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  9. 9
    Unifying Execution of Imperative and Declarative Code

    Unifying Execution of Imperative and Declarative Code by Milicevic, Aleksandar, Rayside, Derek, Yessenov, Kuat T., Jackson, Daniel

    Published 2012
    “…Association for Computing Machinery…”
    Get full text
    Get full text
    Get full text
    Article
  10. 10
    Derailer: interactive security analysis for web applications

    Derailer: interactive security analysis for web applications by Near, Joseph Paul, Jackson, Daniel

    Published 2015
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  11. 11
    Finding Security Bugs in Web Applications using a Catalog of Access Control Patterns

    Finding Security Bugs in Web Applications using a Catalog of Access Control Patterns by Near, Joseph Paul, Jackson, Daniel

    Published 2016
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  12. 12
    What's wrong with git?: a conceptual design

    What's wrong with git?: a conceptual design by Perez De Rosso, Santiago Nicolas, Jackson, Daniel

    Published 2016
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Get full text
    Article
  13. 13
    Purposes, concepts, misfits, and a redesign of git

    Purposes, concepts, misfits, and a redesign of git by Perez De Rosso, Santiago Nicolas, Jackson, Daniel

    Published 2017
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Get full text
    Article
  14. 14
    Towards a theory of conceptual design for software

    Towards a theory of conceptual design for software by Jackson, Daniel

    Published 2017
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  15. 15
    Multi-representational security analysis

    Multi-representational security analysis by Kang, Eunsuk, Milicevic, Aleksandar, Jackson, Daniel

    Published 2018
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  16. 16
    A lightweight code analysis and its role in evaluation of a dependability case

    A lightweight code analysis and its role in evaluation of a dependability case by Near, Joseph Paul, Milicevic, Aleksandar, Kang, Eunsuk, Jackson, Daniel

    Published 2012
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Get full text
    Article
  17. 17
    Patterns for building dependable systems with trusted bases

    Patterns for building dependable systems with trusted bases by Kang, Eunsuk, Jackson, Daniel

    Published 2014
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Get full text
    Article
  18. 18
    Rubicon: Bounded Verification of Web Applications

    Rubicon: Bounded Verification of Web Applications by Jackson, Daniel, Near, Joseph Paul

    Published 2014
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  19. 19
    Model-based, event-driven programming paradigm for interactive web applications

    Model-based, event-driven programming paradigm for interactive web applications by Milicevic, Aleksandar, Jackson, Daniel, Gligoric, Milos, Marinov, Darko

    Published 2014
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article
  20. 20
    Synthesizing Iterators from Abstraction Functions

    Synthesizing Iterators from Abstraction Functions by Rayside, Derek, Motaghami, Vajihollah, Leung, Francesca, Yuen, Albert, Xu, Kevin, Jackson, Daniel

    Published 2014
    “…Association for Computing Machinery (ACM)…”
    Get full text
    Get full text
    Article

Search Tools: