19 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 5-Aug-2002 | Extracting threads from concurrent objects for the design of embedded systems | Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya |
| 15-Jun-2003 | 振舞い近似手法を用いたステートチャートに対する不変性の検証(<特集>オブジェクト指向技術) | 立石, 孝彰; 青木, 利晃; 片山, 卓也; TATEISHI, TAKAAKI; AOKI, TOSHIAKI; KATAYAMA, TAKUYA |
| 6-Oct-2003 | Implementaion and Performance Analysis of the φ-Failure Detector | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
| 25-Feb-2004 | Flexible failure detection with k-FD | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
| 30-Mar-2004 | Performance comparison of a rotating coordinator and a leader based consensus algorithm | Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya |
| 10-May-2004 | The φ accrual failure detector | Hayashibara, Naohiro; Defago, Xavier; Yared, Rami; Katayama, Takuya |
| 14-May-2004 | On accrual failure detectors | Defago, Xavier; Urban, Peter; Hayashibara, Naohiro; Katayama, Takuya |
| 4-Aug-2004 | Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version) | Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya |
| 1-Dec-2004 | Fault-tolerant group membership protocols using physical robot messengers | Yared, Rami; Defago, Xavier; Katayama, Takuya |
| 11-Mar-2005 | Perspective of Verifiable and Evolvable e-Society | Katayama, Takuya |
| 22-Mar-2005 | Definition and specification of accrual failure detectors | Defago, Xavier; Urban, Peter; Hayashibara, Naohiro; Katayama, Takuya |
| 21-Sep-2005 | Perspective of Verifiable and Evolvable e-Society | Katayama, Takuya |
| 21-Sep-2005 | An Object-Oriented logic for software analysis and design | Yatake, Kenro; Aoki, Toshiaki; Katayama, Takuya |
| 21-Sep-2005 | Specification and Verification of Inter-Component Constraints in CTL | Nguyen, Truong Thang; Katayama, Takuya |
| 28-Feb-2006 | Concurrency in Microprotocol Frameworks | Urban, Peter; Mena, Sergio; Defago, Xavier; Katayama, Takuya |
| 7-Sep-2006 | Using text semantic similarity approach to check the consistency of UML | Kotb, Yasser; Katayama, Takuya |
| 24-Nov-2006 | Toward an automatic reusable software using textual entailment | Kotb, Yasser; Katayama, Takuya |
| 28-Nov-2006 | 構成管理モデルFMCのAlloyによる検証 | Tanizaki, Hiroaki; Katayama, Takuya |
| 20-Apr-2010 | Modeling of Real-Time System Designs for Parametric Analysis | Chaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya |
