Kaoru Takahashi

According to our database, Kaoru Takahashi authored at least 33 papers between 1986 and 2011.

Collaborative distances:

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

2011

Modeling, Verification and Testing of Web Applications Using Model Checker.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

IEICE Trans. Inf. Syst., 2011

Modeling Web Applications Design with Automata and Its Verification.

Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi

Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

2010

Using the Model Checker Spin for Web Application Design.

Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

LiNS: A Library Navigation System Using Sensors and Smartphones.

Kazuki Watanabe, Tomoyuki Takahashi, Toshihiko Ando, Kaoru Takahashi, Yoshifumi Sasaki, Tatsuya Funakoshi

Proceedings of the Fifth International Conference on Broadband and Wireless Computing, 2010

2006

A Study of Register Variation in the British National Corpus.

Kaoru Takahashi

Lit. Linguistic Comput., 2006

An ontology-based advice system for health and exercise.

Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi

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

2005

An Ontology-Based e-Learning System for Network Security.

Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

Incremental Design of a State Machine Specification for Mobile and Real-Time Systems .

Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

Composition of Service and Protocol Specifications in Asynchronous Communication System.

Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

IEICE Trans. Inf. Syst., 2004

2002

Specification and Analysis of the Contract Net Protocol Based on State Machine Model.

Goichi Itabashi, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori

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

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions.

Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori

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

2001

Composition method of communication system specifications in asynchronous model and its support system.

Noppadol Maneerat, Ruttikorn Varakulsiripunth, Daisuke Seki, Kazuki Yoshida, Kaoru Takahashi, Yasushi Kato, Bhed Bahadur Bista, Norio Shiratori

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Composition of Service and Protocol Specifications.

Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori

Proceedings of the 15th International Conference on Information Networking, 2001

2000

Maintenance of mobile system ambients using a process calculus.

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

Comput. Networks, 2000

Support System for Constructing Communication Services and Protocols Based on Compositional Approach.

Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

1999

Maintenance of Ambiences for Mobile Systems.

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori

Proceedings of the International Conference on Parallel Processing 1999, 1999

1997

On a Concurrency Calculus for Design of Mobile Telecommunication Systems.

Toshihiko Ando, Kaoru Takahashi, Yasushi Kato

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Automatic modification of a protocol specification based on changes of a service specification.

Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

A flexible protocol synthesis method for adopting requirement changes.

Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

1994

Interpretation of SDL specification in LOTOS.

Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi

Syst. Comput. Jpn., 1994

1993

An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation.

Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Using Artificial Intelligence in Communication System Design.

Norio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita

IEEE Softw., 1992

1991

A User Friendly Software Environment for Protocol Synthesis.

Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi

IEEE Trans. Computers, 1991

An equivalence in lotos and its decision method.

Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi

Syst. Comput. Jpn., 1991

1990

Construction of a protocol synthesis environment and its implementation.

Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi

Syst. Comput. Jpn., 1990

1989

A Design Method of Network Operating Systems Based on the Concept of an Object.

Kaoru Takahashi, Yoshiyuki Ohta, Norio Shiratori, Shoichi Noguchi

Syst. Comput. Jpn., 1989

A Verification Method for LOTOS Specifications and its Application.

Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi

Proceedings of the Protocol Specification, 1989

1988

An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.

Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi

IEEE Trans. Software Eng., 1988

Protocol Implementation Support System and Its User Interface.

Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi

Syst. Comput. Jpn., 1988

A knowledge-based system for protocol synthesis (KSPS).

Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi

IEEE J. Sel. Areas Commun., 1988

An intelligent support system for protocol and communication software development.

Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi

IEEE J. Sel. Areas Commun., 1988

A Software Design Method and Its Application to Protocol and Communication Software Development.

Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi

Comput. Networks, 1988

1986

IDESS/85: Intelligent Support System for Protocols and Communication Software Development.

Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986