Search Results - Denker, Grit

Refine Results
  1. 1
    A Software Defined Networking architecture for the Internet-of-Things

    A Software Defined Networking architecture for the Internet-of-Things by Zhijing Qin, Denker, Grit, Giannelli, Carlo, Bellavista, Paolo, Venkatasubramanian, Nalini

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Resilient dependable cyber-physical systems: a middleware perspective

    Resilient dependable cyber-physical systems: a middleware perspective by Denker, Grit, Dutt, Nikil, Mehrotra, Sharad, Stehr, Mark-Oliver, Talcott, Carolyn, Venkatasubramanian, Nalini

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    MINA: A reflective middleware for managing dynamic multinetwork environments

    MINA: A reflective middleware for managing dynamic multinetwork environments by Zhijing Qin, Iannario, Luca, Giannelli, Carlo, Bellavista, Paolo, Denker, Grit, Venkatasubramanian, Nalini

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Policy-Based Cognitive Radios

    Policy-Based Cognitive Radios by Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanayake, Rukmam, Talcott, Carolyn

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On the (f)utility of untrusted data sanitization

    On the (f)utility of untrusted data sanitization by Gehani, A., Hanz, D., Rushby, J., Denker, G., DeLong, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Decision Support for Sharing Data using Differential Privacy

    Decision Support for Sharing Data using Differential Privacy by John, Mark F. St, Denker, Grit, Laud, Peeter, Martiny, Karsten, Pankova, Alisa, Pavlovic, Dusko

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Document Logic: Risk analysis of business processes through document authenticity

    Document Logic: Risk analysis of business processes through document authenticity by Iida, S., Denker, G., Talcott, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    An Architecture for Policy-Based Cognitive Tactical Networking

    An Architecture for Policy-Based Cognitive Tactical Networking by Denker, G., Talcott, C., Ghanadan, R., Kumar, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Preface

    Preface by Denker, Grit, Talcott, Carolyn

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Security in the Semantic Web using OWL

    Security in the Semantic Web using OWL by Denker, Grit, Kagal, Lalana, Finin, Tim

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Modeling Group Communication Protocols Using Multiset Term Rewriting

    Modeling Group Communication Protocols Using Multiset Term Rewriting by Denker, Grit, Millen, Jon

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    From Rewrite Theories to Temporal Logic Theories

    From Rewrite Theories to Temporal Logic Theories by Denker, Grit

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    A Rewriting Logic Framework for Soft Constraints

    A Rewriting Logic Framework for Soft Constraints by Wirsing, Martin, Denker, Grit, Talcott, Carolyn, Poggio, Andy, Briesemeister, Linda

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Formal Checklists for Remote Agent Dependability

    Formal Checklists for Remote Agent Dependability by Denker, Grit, Talcott, Carolyn L.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

    Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis by Basin, David, Denker, Grit

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies

    Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies by Denker, Grit, Gehani, A, Minyoung Kim, Hanz, D

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Information systems modelling with troll formal methods at work

    Information systems modelling with troll formal methods at work by Hartel, Peter, Denker, Grit, Kowsari, Mojgan, Krone, Maren, Ehrich, Hans-Dieter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    A development environment for an object specification language

    A development environment for an object specification language by Gogolla, M., Conrad, S., Denker, G., Herzig, R., Vlachantonis, N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Rewriting Logic Systems

    Rewriting Logic Systems by Denker, Grit, Talcott, Carolyn, Rosu, Grigore, van den Brand, Mark, Eker, Steven, Şerbănuţă, Traian Florin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

    CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies by Elenius, D., Denker, G., Stehr, M.-O., Senanayake, R., Talcott, C., Wilkins, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: