Hiromi Kobayashi

According to our database, Hiromi Kobayashi authored at least 14 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

A Speculative Byzantine Algorithm for P2P System.

Yusuke Matsumoto, Hiromi Kobayashi

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2008

Connecting Distributed Information Using the Semantic Web.

Takahiro Abe, Daisuke Wada, Hiromi Kobayashi

Proceedings of the Knowledge-Based Software Engineering, 2008

2006

Description of Temporal Constraints Using Semantic Web in Role-Based Access Control.

Kazushi Tanihira, Yusuke Sakamoto, Hiromi Kobayashi

Proceedings of the Knowledge-Based Software Engineering, 2006

A proposal of credit transfer system using owl in education.

Jiaji Guo, Hiromi Kobayashi

Proceedings of the Tenth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2006), 2006

2005

Properties of Role-Based Access Control in a Teaching Management System.

Kazushi Tanihira, Hiromi Kobayashi

IEICE Trans. Inf. Syst., 2005

2003

A Safety Mechanism Using Software Patterns.

Kiyohito Itoh, Hiromi Kobayashi

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

2002

Checking of Timing Constraint Violation Based on Graph in Reactive Systems.

Hiromi Kobayashi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

2001

Safety Analysis Using Temporal Database.

Hiromi Kobayashi

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

2000

Descriptions of timing in requirements for reactive systems.

Hiromi Kobayashi, Kazuo Tokito

Syst. Comput. Jpn., 2000

1999

State fence diagrams - A graphical representation for designing reactive systems.

Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama

Syst. Comput. Jpn., 1999

1997

Nearest Neighbor Mesh Hypercube Multiprocessor Networks for Autonomous Decentralized Systems.

Hiromi Kobayashi

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1995

A Formal Technique to Analyze Event Concurrent Response.

Hiromi Kobayashi, Yasunari Shidama

IEICE Trans. Inf. Syst., 1995

Completely connected ring-groups networks for autonomous decentralized systems.

Hiromi Kobayashi

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

1994

Bitonic sort on a network computer with a node failure.

Hiromi Kobayashi, Hidetake Funaki, Hiroaki Yamamaoto, Hiroo Yamaura

Syst. Comput. Jpn., 1994