E-LIB Suche - Ergebnisse für: MORIGUCHI, Sosuke

1

Switching Mechanism for Update Timing of Time-Varying Value..:

, In: Proceedings of the 2024 13th International Conference on Software and Computer Applications,

Yokoyama, Akihiko ; Moriguchi, Sosuke ; Watanabe, Takuo - p. 45-54 , 2024

Link: https://dl.acm.org/doi/1..

2

Periodic and Aperiodic Task Description Mechanisms in an FR..:

, In: Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,

Sogo, Kento ; Tsuji, Yuta ; Moriguchi, Sosuke. - p. 43-53 , 2023

Link: https://dl.acm.org/doi/1..

3

Developing Distributed Systems with Multiparty Functional R..:

, In: Proceedings of the 2023 5th World Symposium on Software Engineering,

Moriguchi, Sosuke ; Watanabe, Takuo - p. 61-66 , 2023

Link: https://dl.acm.org/doi/1..

4

Implementation and Evaluation of an Interpreter for Functio..:

, In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming,

Suzuki, Go ; Watanabe, Takuo ; Moriguchi, Sosuke - p. 12-16 , 2023

Link: https://dl.acm.org/doi/1..

5

Towards Introducing Asynchronous Tasks to an FRP Language f..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,

Yokoyama, Akihiko ; Moriguchi, Sosuke ; Watanabe, Takuo - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

6

A Functional Reactive Programming Language for Small-Scale ..:

Yokoyama, Akihiko ; Moriguchi, Sosuke ; Watanabe, Takuo
Journal of Information Processing. 29 (2021) 0 - p. 685-706 , 2021

Link: https://doi.org/10.2197/..

7

Functional Reactive Programming for Embedded Systems with G..:

, In: 2021 10th International Conference on Software and Computer Applications,

Sakurai, Yoshitaka ; Moriguchi, Sosuke ; Watanabe, Takuo - p. 75-80 , 2021

Link: https://dl.acm.org/doi/1..

8

Hybrid Reasoning on a Bipolar Argumentation Framework:

, In: Lecture Notes in Computer Science; Scalable Uncertainty Management,

Kawasaki, Tatsuki ; Moriguchi, Sosuke ; Takahashi, Kazuko - p. 79-92 , 2019

Link: https://doi.org/10.1007/..

9

Reasoning by a Bipolar Argumentation Framework for PROLEG:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Kawasaki, Tatsuki ; Moriguchi, Sosuke ; Takahashi, Kazuko - p. 115-130 , 2019

Link: https://doi.org/10.1007/..

10

Verification of Content-Centric Networking Using Proof Assi..:

MORIGUCHI, Sosuke ; MORISHIMA, Takashi ; GOTO, Mizuki.
IEICE Transactions on Communications. E99.B (2016) 11 - p. 2297-2304 , 2016

Link: https://doi.org/10.1587/..

11

Formalization of the Behavior of Content-Centric Networking:

Moriguchi, Sosuke ; Morishima, Takashi ; Goto, Mizuki.
Procedia Computer Science. 56 (2015) - p. 197-204 , 2015

Link: https://doi.org/10.1016/..

12

An interactive extension mechanism for reusing verified pro..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,

Moriguchi, Sosuke ; Watanabe, Takuo - p. 1236-1243 , 2013

Link: https://dl.acm.org/doi/1..

13

Compiling Arguments in an Argumentation Framework into Thre..:

Moriguchi, Sosuke ; Takahashi, Kazuko
http://arxiv.org/abs/1911.01185. , 2019

Link: http://arxiv.org/abs/191..