Kaoru Takahashi

33 papers B 5C 4Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2011 C conf
Modeling Web Applications Design with Automata and Its Verification.
ISADS
Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
2011 J jnl
Modeling, Verification and Testing of Web Applications Using Model Checker.
IEICE Trans. Inf. Syst.
Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi
2010 — conf
LiNS: A Library Navigation System Using Sensors and Smartphones.
BWCCA
Kazuki Watanabe, Tomoyuki Takahashi, Toshihiko Ando, Kaoru Takahashi, Yoshifumi Sasaki, Tatsuya Funakoshi
2010 — conf
Using the Model Checker Spin for Web Application Design.
SAINT
Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi
2006 J jnl
A Study of Register Variation in the British National Corpus.
Lit. Linguistic Comput.
Kaoru Takahashi
2006 — conf
An ontology-based advice system for health and exercise.
IMSA
Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi
2005 B conf
An Ontology-Based e-Learning System for Network Security.
AINA
Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori
2005 B conf
Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .
AINA
Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori
2004 J jnl
Composition of Service and Protocol Specifications in Asynchronous Communication System.
IEICE Trans. Inf. Syst.
Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori
2002 J jnl
On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori
2002 J jnl
Specification and Analysis of the Contract Net Protocol Based on State Machine Model.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Goichi Itabashi, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori
2001 — conf
Composition method of communication system specifications in asynchronous model and its support system.
ICON
Noppadol Maneerat, Ruttikorn Varakulsiripunth, Daisuke Seki, Kazuki Yoshida, Kaoru Takahashi, Yasushi Kato, Bhed Bahadur Bista, Norio Shiratori
2001 — conf
Composition of Service and Protocol Specifications.
ICOIN
Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori
2000 J jnl
Maintenance of mobile system ambients using a process calculus.
Comput. Networks
Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori
2000 — conf
Support System for Constructing Communication Services and Protocols Based on Compositional Approach.
DEXA Workshop
Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori
1999 B conf
Maintenance of Ambiences for Mobile Systems.
ICPP
Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori
1997 C conf
On a Concurrency Calculus for Design of Mobile Telecommunication Systems.
FORTE
Toshihiko Ando, Kaoru Takahashi, Yasushi Kato
1996 B conf
A flexible protocol synthesis method for adopting requirement changes.
ICPADS
Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori
1996 B conf
Automatic modification of a protocol specification based on changes of a service specification.
ICPADS
Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori
1994 J jnl
Interpretation of SDL specification in LOTOS.
Syst. Comput. Jpn.
Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi
1993 C conf
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.
FORTE
Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita
1992 J jnl
Using Artificial Intelligence in Communication System Design.
IEEE Softw.
Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita
1991 J jnl
A User Friendly Software Environment for Protocol Synthesis.
IEEE Trans. Computers
Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi
1991 J jnl
An equivalence in lotos and its decision method.
Syst. Comput. Jpn.
Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
1990 J jnl
Construction of a protocol synthesis environment and its implementation.
Syst. Comput. Jpn.
Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi
1989 J jnl
A Design Method of Network Operating Systems Based on the Concept of an Object.
Syst. Comput. Jpn.
Kaoru Takahashi, Yoshiyuki Ohta, Norio Shiratori, Shoichi Noguchi
1989 — conf
A Verification Method for LOTOS Specifications and its Application.
PSTV
Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi
1988 J jnl
A Software Design Method and Its Application to Protocol and Communication Software Development.
Comput. Networks
Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi
1988 J jnl
A knowledge-based system for protocol synthesis (KSPS).
IEEE J. Sel. Areas Commun.
Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
1988 J jnl
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.
IEEE Trans. Software Eng.
Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
1988 J jnl
An intelligent support system for protocol and communication software development.
IEEE J. Sel. Areas Commun.
Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
1988 J jnl
Protocol Implementation Support System and Its User Interface.
Syst. Comput. Jpn.
Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi
1986 C conf
IDESS/85: Intelligent Support System for Protocols and Communication Software Development.
ICCC
Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi