Search Results

Modeling and Verification of Distributed Systems by Petri Nets.

• Authors : Yamada, Tomohiko¹; Tsuji, Kohkichi²; Kumagai, Sadatoshi²

• Source: Electronics & Communications in Japan, Part 1: Communications. Jul88, Vol. 71 Issue 7, p22-32. 11p.

Record details

On Correlated Availability in Internet Distributed Systems

• Authors : Kondo, Derrick; Andrzejak, Artur; Anderson, David P. ...

Subjects: [INFO.INFO-DC]Computer Science [cs]/Distributed; Parallel; and Cluster Computing [cs.DC]Tsukuba; Japan

• Source: IEEE/ACM International Conference on Grid Computing (Grid) ; https://inria.hal.science/hal-00953614 ; IEEE/ACM International Conference on Grid Computing (Grid), 2008, Tsukuba,

Record details

Shinren: Non-monotonic Trust Management for Distributed Systems

• Authors : Dong, Changyu; Dulay, Naranker;

Subjects: [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]Morioka; Japan

• Source: IFIP Advances in Information and Communication Technology ; 4th IFIP WG 11.11 International on Trust Management (TM) ; https://inria.hal.science/hal-01061324 ; 4th IFIP WG 11.11 International on Trust

Record details

A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems

• Authors : Abe, Jair, Minoro; Reis, Nelio, Dos; Oliveira, Cristina, De ...

Subjects: Multi-agent systems; Conflicts in distributed systems; Multi-agents and logical representationTokyo; Japan

• Source: IFIP Advances in Information and Communication Technology ; IFIP International Conference on Advances in Production Management Systems (APMS) ;

Record details

Optimal Asynchronous Perpetual Grid Exploration

• Authors : Bramas, Quentin; Devismes, Stéphane; Durand, Anaïs ...

Subjects: Grids; Perpetual Exploration; Asynchronous Myopic RobotsNagoya; Japan

• Source: Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024 ; https://uca.hal.science/hal-04620468

Record details

Optimal Asynchronous Perpetual Grid Exploration ⋆

• Authors : Bramas, Quentin; Devismes, Stéphane; Durand, Anaïs ...

Subjects: Asynchronous Myopic Robots; Grids; Perpetual ExplorationOsaka (JP); Japan

• Source: SSS : Symposium on Stabilization, Safety, and Security of Distributed Systems ; https://uca.hal.science/hal-04620468 ; SSS : Symposium on

Record details

FullReview: Practical Accountability in Presence of Selfish Nodes

• Authors : Diarra, Amadou; Ben Mokhtar, Sonia; Aublin, Pierre-Louis ...

Subjects: [INFO]Computer Science [cs]Nara; Japan

• Source: 2014 IEEE 33rd International Symposium on Reliable Distributed SystemsThe 33rd IEEE Symposium on Reliable

Record details

AcTinG: Accurate Freerider Tracking in Gossip

• Authors : Ben Mokhtar, Sonia; Decouchant, Jérémie; Quéma, Vivien ...

Subjects: [INFO]Computer Science [cs]Nara; Japan

• Source: Symposium on Reliable Distributed Systems (SRDS 2014) ; https://hal.science/hal-01198451 ; Symposium on Reliable

Record details

Physical Zero-Knowledge Proof for Makaro

• Authors : Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume ...

Subjects: Makaro; Privacy; Zero-knowledge proofsTokyo; Japan

• Source: Stabilization, Safety, and Security of Distributed Systems ; SSS 2018 - 20th International Symposium on Stabilization, Safety, and

Record details

Acyclic Strategy for Silent Self-Stabilization in Spanning Forests

• Authors : Altisen, Karine; Devismes, Stéphane; Durand, Anaïs ...

Subjects: [INFO.INFO-DC]Computer Science [cs]/Distributed; Parallel; and Cluster Computing [cs.DC]Tokyo; Japan

• Source: SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems ; https://hal.science/hal-01938671 ;

Record details