JAIST Repository >

著者:  "Katayama, Takuya"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

19 著者名表示.

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

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係