Kaoru Takahashi

Publication Activity (10 Years)

Years Active: 1986-2011
Publications (10 Years): 0

Publications

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