Hiromi Kobayashi

14 papers C 3Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2010 C conf
A Speculative Byzantine Algorithm for P2P System.
PRDC
Yusuke Matsumoto, Hiromi Kobayashi
2008 — conf
Connecting Distributed Information Using the Semantic Web.
JCKBSE
Takahiro Abe, Daisuke Wada, Hiromi Kobayashi
2006 — conf
A proposal of credit transfer system using owl in education.
IMSA
Jiaji Guo, Hiromi Kobayashi
2006 — conf
Description of Temporal Constraints Using Semantic Web in Role-Based Access Control.
JCKBSE
Kazushi Tanihira, Yusuke Sakamoto, Hiromi Kobayashi
2005 J jnl
Properties of Role-Based Access Control in a Teaching Management System.
IEICE Trans. Inf. Syst.
Kazushi Tanihira, Hiromi Kobayashi
2003 — conf
A Safety Mechanism Using Software Patterns.
TACoS
Kiyohito Itoh, Hiromi Kobayashi
2002 J jnl
Checking of Timing Constraint Violation Based on Graph in Reactive Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiromi Kobayashi
2001 C conf
Safety Analysis Using Temporal Database.
PRDC
Hiromi Kobayashi
2000 J jnl
Descriptions of timing in requirements for reactive systems.
Syst. Comput. Jpn.
Hiromi Kobayashi, Kazuo Tokito
1999 J jnl
State fence diagrams - A graphical representation for designing reactive systems.
Syst. Comput. Jpn.
Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama
1997 Misc conf
Nearest Neighbor Mesh Hypercube Multiprocessor Networks for Autonomous Decentralized Systems.
PDPTA
Hiromi Kobayashi
1995 J jnl
A Formal Technique to Analyze Event Concurrent Response.
IEICE Trans. Inf. Syst.
Hiromi Kobayashi, Yasunari Shidama
1995 C conf
Completely connected ring-groups networks for autonomous decentralized systems.
ISADS
Hiromi Kobayashi
1994 J jnl
Bitonic sort on a network computer with a node failure.
Syst. Comput. Jpn.
Hiromi Kobayashi, Hidetake Funaki, Hiroaki Yamamaoto, Hiroo Yamaura