Showing 1 - 7 results of 7 for search 'Lecture Notes in Computer Science', query time: 0.05s Refine Results
  1. 1
    A Graphical Calculus

    A Graphical Calculus by Curtis, S, Lowe, G

    Published 1995
    “…Lecture Notes in Computer Science…”
    Conference item
  2. 2
    Proceedings of TAPSOFT 91

    Proceedings of TAPSOFT 91

    Published 1991
    “…Springer Lecture Notes in Computer Science…”
    Book
  3. 3
    Semantic Segmentation and Depth Estimation with RGB and DVS Sensor Fusion for Multi-view Driving Perception

    Semantic Segmentation and Depth Estimation with RGB and DVS Sensor Fusion for Multi-view Driving Perception by Natan, Oskar, Miura, Jun

    Published 2022
    “…Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)…”
    Other
  4. 4
    Automatic conformance checking of role−based access control policies via Alloy

    Automatic conformance checking of role−based access control policies via Alloy by Power, D, Slaymaker, M, Simpson, A

    Published 2011
    “…Springer−Verlag Lecture Notes in Computer Science‚ volume 6542…”
    Conference item
  5. 5
    Formalising and validating RBAC−to−XACML translation using lightweight formal methods

    Formalising and validating RBAC−to−XACML translation using lightweight formal methods by Slaymaker, M, Power, D, Simpson, A

    Published 2010
    “…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
    Conference item
  6. 6
    On the secure sharing and aggregation of data to support Systems Biology research

    On the secure sharing and aggregation of data to support Systems Biology research by Simpson, A, Slaymaker, M, Gavaghan, D

    Published 2010
    “…Springer−Verlag Lecture Notes in Computer Science‚ volume 6254…”
    Conference item
  7. 7
    On the modelling and analysis of Amazon Web Services access policies

    On the modelling and analysis of Amazon Web Services access policies by Power, D, Slaymaker, M, Simpson, A

    Published 2010
    “…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
    Conference item

Search Tools: