Search Results - GLÄSSER, UWE

Refine Results
  1. 1
    Abstract communication model for distributed systems

    Abstract communication model for distributed systems by Glasser, U., Gurevich, Y., Veanes, M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Personalized crime location prediction

    Personalized crime location prediction by TAYEBI, MOHAMMAD A., GLÄSSER, UWE, ESTER, MARTIN, BRANTINGHAM, PATRICIA L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Ecological momentary assessment of mood and movement with bipolar disorder over time: Participant recruitment and efficacy of study methods

    Ecological momentary assessment of mood and movement with bipolar disorder over time: Participant recruitment and efficacy of study methods by O’Rourke, Norm, Sixsmith, Andrew

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Executable formal specifications of complex distributed systems with CoreASM

    Executable formal specifications of complex distributed systems with CoreASM by Farahbod, Roozbeh, Gervasi, Vincenzo, Glässer, Uwe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The CoreASM modeling framework

    The CoreASM modeling framework by Farahbod, Roozbeh, Glässer, Uwe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Dynamic Attack Scoring Using Distributed Local Detectors

    Dynamic Attack Scoring Using Distributed Local Detectors by Zohrevand, Zahra, Glasser, Uwe

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

    Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010 by Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligencea

    An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligencea by Park, Andrew J, Tsang, Herbert H, Sun, Mengting, Glässer, Uwe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence^sup a

    An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligence^sup a by Park, Andrew J, Tsang, Herbert H, Sun, Mengting, Glässer, Uwe

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Message from the FOSINT-SI 2020 Program Chairs

    Message from the FOSINT-SI 2020 Program Chairs

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Formal description and analysis of a distributed location service for mobile ad hoc networks: Abstract state machines and high-level system design and analysis

    Formal description and analysis of a distributed location service for mobile ad hoc networks: Abstract state machines and high-level system design and analysis by GLÄSSER, Uwe, GU, Oian-Ping

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms

    Should I Raise The Red Flag? A comprehensive survey of anomaly scoring methods toward mitigating false alarms by Zohrevand, Zahra, Glässer, Uwe

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Formal description and analysis of a distributed location service for mobile ad hoc networks

    Formal description and analysis of a distributed location service for mobile ad hoc networks by Glässer, Uwe, Gu, Qian-Ping

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Generating test cases for marine safety and security scenarios: a composition framework

    Generating test cases for marine safety and security scenarios: a composition framework by Shahir, Hamed Yaghoubi, Glässer, Uwe, Farahbod, Roozbeh, Jackson, Piper, Wehn, Hans

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Anomaly detection in spatiotemporal data in the maritime domain

    Anomaly detection in spatiotemporal data in the maritime domain by Avram, Vladimir, Glasser, Uwe, Shahir, Hamed Yaghoubi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Computer Simulation in Criminal Justice Research

    Computer Simulation in Criminal Justice Research by Brantingham, Patricia L., Brantingham, Paul J., Glässer, Uwe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Identity management architecture

    Identity management architecture by Glasser, Uwe, Vajihollahi, Mona

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    An extensible decision engine for Marine Safety and Security

    An extensible decision engine for Marine Safety and Security by Jackson, Piper, Glasser, Uwe, Shahir, Hamed Yaghoubi, Wehn, Hans

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Intelligent decision support for Marine safety and Security Operations

    Intelligent decision support for Marine safety and Security Operations by Glasser, Uwe, Jackson, Piper, Araghi, Ali Khalili, Shahir, Hamed Yaghoubi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    GENIUS: A computational modeling framework for counter-terrorism planning and response

    GENIUS: A computational modeling framework for counter-terrorism planning and response by Tsang, Herbert H., Park, Andrew J., Mengting Sun, Glasser, Uwe

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: