Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability

Saved in:
Bibliographic Details
Published in:IEEE Access
Format: Online Article RSS Article
Published: 2026
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1868553983465881600
collection WordPress RSS
FRELIP Feed Integration
container_title IEEE Access
description
discipline_display Computer Sciience
discipline_facet Computer Sciience
format Online Article
RSS Article
genre Journal Article
id rss_article:92952
institution FRELIP
journal_source_facet IEEE Access
last_indexed 2026-06-20T21:45:41.950Z
publishDate 2026
publishDateSort 2026
record_format rss_article
spellingShingle Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
Computer Sciience
General
Computer Sciience
sub_discipline_display General
sub_discipline_facet General
subject_display Computer Sciience
General
Computer Sciience
subject_facet Computer Sciience
General
Computer Sciience
title Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_alt Imposición de restricciones de uso global en sistemas distribuidos: Un modelo formal de trazabilidad dirigida
Application des contraintes d'utilisation globales dans les systèmes distribués : un modèle formel de traçabilité dirigée
Impondo Restrições de Uso Global em Sistemas Distribuídos: Um Modelo Formal de Rastreabilidade Direcionada
title_auth Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_es_txt Imposición de restricciones de uso global en sistemas distribuidos: Un modelo formal de trazabilidad dirigida
title_fr_txt Application des contraintes d'utilisation globales dans les systèmes distribués : un modèle formel de traçabilité dirigée
title_full Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_fullStr Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_full_unstemmed Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_pt_txt Impondo Restrições de Uso Global em Sistemas Distribuídos: Um Modelo Formal de Rastreabilidade Direcionada
title_short Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability
title_sort enforcing global usage constraints in distributed systems: a formal model of directed traceability
topic Computer Sciience
General
Computer Sciience
url http://ieeexplore.ieee.org/document/11552618