Showing 1 - 20 results of 20 for search 'LNCS', query time: 0.15s Refine Results
  1. 1
    Timed CSP: theory and practice

    Timed CSP: theory and practice by Roscoe, A, J.Davies, D.Jackson, G.M.Reed, J.Reed, Schneider, S

    Published 1992
    “…LNCS…”
    Conference item
  2. 2
    Analysis of Dependencies in Critical Infrastructures

    Analysis of Dependencies in Critical Infrastructures by Adetoye, A, Creese, S, Goldsmith, M

    Published 2011
    “…LNCS…”
    Conference item
  3. 3
    Automating Data Independence

    Automating Data Independence by Roscoe, A, Broadfoot, P, Lowe, G

    Published 2000
    “…LNCS…”
    Conference item
  4. 4
    Data Protection−Aware Design for Cloud Services

    Data Protection−Aware Design for Cloud Services by Creese, S, Hopkins, P, Pearson, S, Shen, Y

    Published 2009
    “…LNCS…”
    Conference item
  5. 5
    Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment

    Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment by Adetoye, A, Creese, S, Goldsmith, M

    Published 2012
    “…LNCS…”
    Conference item
  6. 6
    Authentication in pervasive computing

    Authentication in pervasive computing by Roscoe, A, Creese, S, Goldsmith, M, I.Zakiuddin

    Published 2003
    “…LNCS…”
    Conference item
  7. 7
    CSP and timewise refinement

    CSP and timewise refinement by Roscoe, A, Reed, G, Schneider, S

    Published 1991
    “…LNCS…”
    Conference item
  8. 8
    Safe and Economic re−use of ontologies: a logic−based methodology and tool support

    Safe and Economic re−use of ontologies: a logic−based methodology and tool support by Jimenez−Ruiz, E, Cuenca Grau, B, Schneider, T, Sattler, U, Berlanga, R

    Published 2008
    “…Springer LNCS…”
    Conference item
  9. 9
    Repairing Ontologies for Incomplete Reasoners

    Repairing Ontologies for Incomplete Reasoners by Stoilos, G, Grau, B, Motik, B, Horrocks, I

    Published 2011
    “…Springer LNCS…”
    Conference item
  10. 10
    Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

    Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption by Roscoe, A, Wang, X, Lazic, R

    Published 2004
    “…Springer LNCS…”
    Conference item
  11. 11
    Complete Query Answering over Horn Ontologies Using a Triple Store.

    Complete Query Answering over Horn Ontologies Using a Triple Store. by Zhou, Y, Nenov, Y, Grau, B, Horrocks, I

    Published 2013
    “…Springer LNCS…”
    Conference item
  12. 12
    On Model checking data−independent systems with arrays with whole−array operations

    On Model checking data−independent systems with arrays with whole−array operations by Roscoe, A, Lazic, R, Newcomb, T

    Published 2005
    “…Springer LNCS…”
    Conference item
  13. 13
    Self−Protection in P2P Networks: Choosing the Right Neighbourhood

    Self−Protection in P2P Networks: Choosing the Right Neighbourhood by Martinovic, I, Leng, C, Zdarsky, F, Mauthe, A, Steinmetz, R, Schmitt, J

    Published 2006
    “…Springer LNCS…”
    Conference item
  14. 14
    On Self−coordination in Wireless Community Networks

    On Self−coordination in Wireless Community Networks by Zdarsky, F, Martinovic, I, Schmitt, J

    Published 2006
    “…Springer LNCS…”
    Conference item
  15. 15
    On the Way to IEEE 802.11 DoS Resilience

    On the Way to IEEE 802.11 DoS Resilience by Martinovic, I, Zdarsky, F, Schmitt, J

    Published 2006
    “…Springer LNCS…”
    Conference item
  16. 16
    Seeing beyond divergence

    Seeing beyond divergence by Roscoe, A

    Published 2005
    “…Springer LNCS…”
    Conference item
  17. 17
    Applying Game Semantics to Compositional Software Modelling and verification

    Applying Game Semantics to Compositional Software Modelling and verification by Abramsky, S, Ghica, D, Ong, L, Murawski, A

    Published 2004
    “…Springer LNCS…”
    Conference item
  18. 18
    The Case for Virtualized Wireless Access Networks

    The Case for Virtualized Wireless Access Networks by Zdarsky, F, Martinovic, I, Schmitt, J

    Published 2006
    “…Springer LNCS…”
    Conference item
  19. 19
    Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources

    Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources by Rahman, S, Creese, S, Goldsmith, M

    Published 2012
    “…Springer Berlin/Heidelberg LNCS…”
    Conference item
  20. 20
    A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract

    A Modelling Approach for Interdependency in Digital Systems−of−Systems Security − Extended Abstract by Adetoye, A, Creese, S, Goldsmith, M, Hopkins, P

    Published 2010
    “…Athens‚ Greece‚ LNCS 6712‚ Springer Verlag…”
    Conference item

Search Tools: