Jump to main content

yr 〜
yr

Search results 35

ユーザインタフェース操作履歴の高度応用に関する研究

ユーザインタフェース操作履歴の高度応用に関する研究
Paper博士論文
片山拓也 [著][片山拓也][2013]<UT51-2013-J267>
National Diet Library

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
Paper図書
片山, 卓也, 北陸先端科学技術大学院大学2000-2002<Y151-H12480071>
National Diet Library

平成9年度活動報告書 第2回研究会報告書

平成9年度活動報告書 第2回研究会報告書
Paper図書
片山, 卓也, 北陸先端科学技術大学1997-1999<Y151-ZY290-001>
National Diet Library

Modeling of Real-Time System Designs for Parametric Analysis

Modeling of Real-Time System Designs for Parametric Analysis
Paper文書・図像類
Chaiwat, Sathawornwichit, Aoki, Toshiaki, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2010-04-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-003p.1-10
Other Libraries in Japan
  • Author HeadingChaiwat, Sathawornwichit Aoki, Toshiaki Katayama, Takuya

平成9-11年度研究成果報告書

平成9-11年度研究成果報告書
Paper図書
片山, 卓也, 北陸先端科学技術大学院大学1997-1999<Y151-ZY290-002>
National Diet Library

構成管理モデルFMCのAlloyによる検証

構成管理モデルFMCのAlloyによる検証
Digital文書・図像類
Tanizaki, Hiroaki, Katayama, Takuya2006-11-28p.1-6
Other Libraries in Japan
  • Author HeadingTanizaki, Hiroaki Katayama, Takuya

Toward an automatic reusable software using textual entailment

Toward an automatic reusable software using textual entailment
Digital文書・図像類
Kotb, Yasser, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2006-11-24Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-016p.1-10
Other Libraries in Japan
  • Author HeadingKotb, Yasser Katayama, Takuya

Using text semantic similarity approach to check the consistency of UML

Using text semantic similarity approach to check the consistency of UML
Digital文書・図像類
Kotb, Yasser, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2006-09-07Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-013p.1-11
Other Libraries in Japan
  • Author HeadingKotb, Yasser Katayama, Takuya

An Object-Oriented logic for software analysis and design

An Object-Oriented logic for software analysis and design
Digital文書・図像類
Yatake, Kenro, Aoki, Toshiaki, Katayama, Takuya2005-09-21p.1-27
Other Libraries in Japan
  • Author HeadingYatake, Kenro Aoki, Toshiaki Katayama, Takuya

Concurrency in Microprotocol Frameworks

Concurrency in Microprotocol Frameworks
Digital文書・図像類
Urban, Peter, Mena, Sergio, Defago, Xavier, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2006-02-28Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2006-004p.1-13
Other Libraries in Japan
  • Author HeadingUrban, Peter Mena, Sergio Defago, Xavier Katayama, Takuya

Perspective of Verifiable and Evolvable e-Society

Perspective of Verifiable and Evolvable e-Society
Digital文書・図像類
Katayama, Takuya2005-03-11p.1-5
Other Libraries in Japan
  • Author HeadingKatayama, Takuya

Specification and Verification of Inter-Component Constraints in CTL

Specification and Verification of Inter-Component Constraints in CTL
Digital文書・図像類
Nguyen, Truong Thang, Katayama, Takuya2005-09-21p.1-29
Other Libraries in Japan
  • Author HeadingNguyen, Truong Thang Katayama, Takuya

Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version)

Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version)
Digital文書・図像類
Urban, Peter, Hayashibara, Naohiro, Schiper, Andre, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-08-04Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-016p.1-29
Other Libraries in Japan
  • Author HeadingUrban, Peter Hayashibara, Naohiro Schiper, Andre Katayama, Takuya

Fault-tolerant group membership protocols using physical robot messengers

Fault-tolerant group membership protocols using physical robot messengers
Digital文書・図像類
Yared, Rami, Defago, Xavier, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-12-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-019p.1-11
Other Libraries in Japan
  • Author HeadingYared, Rami Defago, Xavier Katayama, Takuya

Definition and specification of accrual failure detectors

Definition and specification of accrual failure detectors
Digital文書・図像類
Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2005-03-22Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2005-004p.1-19
Other Libraries in Japan
  • Author HeadingDefago, Xavier Urban, Peter Hayashibara, Naohiro Katayama, Takuya

Flexible failure detection with k-FD

Flexible failure detection with k-FD
Digital文書・図像類
Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-02-25Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-006p.1-13
Other Libraries in Japan
  • Author HeadingHayashibara, Naohiro Defago, Xavier Katayama, Takuya

The φ accrual failure detector

The φ accrual failure detector
Digital文書・図像類
Hayashibara, Naohiro, Defago, Xavier, Yared, Rami, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-05-10Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-010p.1-15
Other Libraries in Japan
  • Author HeadingHayashibara, Naohiro Defago, Xavier Yared, Rami Katayama, Takuya

Performance comparison of a rotating coordinator and a leader based consensus algorithm

Performance comparison of a rotating coordinator and a leader based consensus algorithm
Digital文書・図像類
Urban, Peter, Hayashibara, Naohiro, Schiper, Andre, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-03-30Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-008p.1-22
Other Libraries in Japan
  • Author HeadingUrban, Peter Hayashibara, Naohiro Schiper, Andre Katayama, Takuya

Implementaion and Performance Analysis of the φ-Failure Detector

Implementaion and Performance Analysis of the φ-Failure Detector
Digital文書・図像類
Hayashibara, Naohiro, Defago, Xavier, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2003-10-06Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2003-013p.1-14
Other Libraries in Japan
  • Author HeadingHayashibara, Naohiro Defago, Xavier Katayama, Takuya

On accrual failure detectors

On accrual failure detectors
Digital文書・図像類
Defago, Xavier, Urban, Peter, Hayashibara, Naohiro, Katayama, Takuya北陸先端科学技術大学院大学情報科学研究科2004-05-14Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2004-011p.1-14
Other Libraries in Japan
  • Author HeadingDefago, Xavier Urban, Peter Hayashibara, Naohiro Katayama, Takuya
RSS