Kaoru Takahashi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2011

Modeling Web Applications Design with Automata and Its VerificationKei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. isads 2011: 103-112 [doi]

Modeling, Verification and Testing of Web Applications Using Model CheckerKei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi. ieicet, 94-D(5):989-999, 2011. [doi]

2010

Using the Model Checker Spin for Web Application DesignKei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi. saint 2010: 137-140 [doi]

LiNS: A Library Navigation System Using Sensors and SmartphonesKazuki Watanabe, Tomoyuki Takahashi, Toshihiko Ando, Kaoru Takahashi, Yoshifumi Sasaki, Tatsuya Funakoshi. bwcca 2010: 346-350 [doi]

2006

An ontology-based advice system for health and exerciseSatoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi. aimsa 2006: 95-100

A Study of Register Variation in the British National CorpusKaoru Takahashi. lalc, 21(1):111-126, 2006. [doi]

2005

Incremental Design of a State Machine Specification for Mobile and Real-Time Systems Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori. aina 2005: 99-104 [doi]

An Ontology-Based e-Learning System for Network SecurityYoshihito Takahashi, Tomomi Abiko, Eriko Negishi, Goichi Itabashi, Yasushi Kato, Kaoru Takahashi, Norio Shiratori. aina 2005: 197-202 [doi]

2004

Composition of Service and Protocol Specifications in Asynchronous Communication SystemNoppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori. ieicet, 87-D(10):2306-2317, 2004. [doi]

2002

On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent FunctionsBhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori. ieiceta, 85-A(11):2426-2435, 2002. [doi]

Specification and Analysis of the Contract Net Protocol Based on State Machine ModelGoichi Itabashi, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori. ieiceta, 85-A(11):2447-2452, 2002. [doi]

2001

Composition of Service and Protocol SpecificationsBhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori. icoin 2001: 171 [doi]

Composition method of communication system specifications in asynchronous model and its support systemNoppadol Maneerat, Ruttikorn Varakulsiripunth, Daisuke Seki, Kazuki Yoshida, Kaoru Takahashi, Yasushi Kato, Bhed Bahadur Bista, Norio Shiratori. icon 2001: 64-69 [doi]

2000

Maintenance of mobile system ambients using a process calculusToshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori. cn, 32(2):229-256, 2000. [doi]

Support System for Constructing Communication Services and Protocols Based on Compositional ApproachBhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori. dexaw 2000: 15-22 [doi]

1999

Maintenance of Ambiences for Mobile SystemsToshihiko Ando, Kaoru Takahashi, Yasushi Kato, Norio Shiratori. icpp 1999: 498 [doi]

1997

On a Concurrency Calculus for Design of Mobile Telecommunication SystemsToshihiko Ando, Kaoru Takahashi, Yasushi Kato. forte 1998: 535-546

1996

A flexible protocol synthesis method for adopting requirement changesBhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori. icpads 1996: 319-326 [doi]

Automatic modification of a protocol specification based on changes of a service specificationKentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori. icpads 1996: 129-134 [doi]

1994

Interpretation of SDL specification in LOTOSTsuyoshi Ando, Masataka Ohta, Kaoru Takahashi. scjapan, 25(7):19-38, 1994. [doi]

1993

An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical RepresentationKatsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita. forte 1994: 205-218

1992

Using Artificial Intelligence in Communication System DesignNorio Shiratori, Kaoru Takahashi, Kenji Sugawara, Tetsuo Kinoshita. IEEE Software, 9(1):38-46, 1992.

1991

An equivalence in lotos and its decision methodHiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi. scjapan, 22(1):10-20, 1991. [doi]

A User Friendly Software Environment for Protocol SynthesisNorio Shiratori, Yao-Xue Zhang, Kaoru Takahashi, Shoichi Noguchi. TC, 40(4):477-486, 1991.

1990

Construction of a protocol synthesis environment and its implementationNorio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi. scjapan, 21(1):34-49, 1990. [doi]

1989

A Verification Method for LOTOS Specifications and its ApplicationNorio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi. pstv 1990: 59-70

A Design Method of Network Operating Systems Based on the Concept of an ObjectKaoru Takahashi, Yoshiyuki Ohta, Norio Shiratori, Shoichi Noguchi. scjapan, 20(12):58-70, 1989. [doi]

1988

1986

IDESS/85: Intelligent Support System for Protocols and Communication Software DevelopmentNorio Shiratori, Kaoru Takahashi, Shoichi Noguchi. iccc 1986: 543-548

Sign in or sign up to see more results.

runs on WebDSL