Tadashi Ohta

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Publications

Naoki Yamauchi, Tadashi Ohta, Kazumasa Takami
Home Appliance Virtualization Software Configuration for Home Network Services. ICSEA (2010)
M. Ohba, Tadashi Ohta
Automatic Elicitation System of Network Service Specifications from a Set of Rules. AICT (2009)
Koji Kawada, Tadashi Ohta
An Emulator for Debugging Service Programs in Ad Hoc Networks. ICSEA (2009)
Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta
A Broadcasting Method considering Battery Lifetime and Distance between Nodes in MANET. ICDCS Workshops (2009)
Shuichi Nakanishi, Muneyuki Shimokura, Tadashi Ohta
Web Service Programs Described in a Rule-Based Language. APSCC (2008)
M. Ohba, K. Egashira, Tadashi Ohta
Automatic Elicitation of Network Service Specification. ICSEA (2008)
Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta
Home Network Service Programs described in a Rule-based Language. ICSEA (2007)
Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta
Networks for a symbiotic human life with robots. ROBOCOMM (2007)
Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta
Specification Model for Avoiding Miss-Detection of Feature Interactions. ICSEA (2006)
Daiki Okada, Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta
Programmable Ad Hoc Networks. ICSEA (2006)
Daisuke Harada, Hiroaki Fujiwara, Tadashi Ohta
Avoidance of Feature Interactions at Run-Time. ICSEA (2006)
Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta
A detection method of feature interactions for Telecommunication services using new execution model. ICSOFT (1) (2006)
Ken-ichi Tatekuwa, Tadashi Ohta
Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction. FIW (2005)
Tae Yoneda, Shizuko Kawauchi, Jyunya Yoshida, Tadashi Ohta
Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP. FIW (2003)
Shizuko Kawauchi, Tadashi Ohta
Mechanism for 3-way Feature Interactions Occurrence and a Detection System Based on The Mechanism. FIW (2003)
Go Ogose, Jyunya Yoshida, Tae Yoneda, Tadashi Ohta
Feature Interaction Detection in Active Networks. IWAN (2002)
Tae Yoneda, Tadashi Ohta
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. ICECCS (2000)
Shinichi Komatsu, Tadashi Ohta
Active Networks Architecture Using Declarative Language. IWAN (2000)
Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta
Feature interaction detection contest of the Fifth International Workshop on Feature Interactions. Comput. Networks 32 (4) (2000)
Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta
A feature interaction benchmark for the first feature interaction detection contest. Comput. Networks 32 (4) (2000)
Tae Yoneda, Tadashi Ohta
The Declarative Language STR (State Transition Rule). FIREworks (2000)
Tae Yoneda, Tadashi Ohta
A Formal Approach for Definition and Detection of Feature Interactions. FIW (1998)
Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta
Feature Interaction Detetion Contest. FIW (1998)
Yoshizumi Kobayashi, Hiroshi Enoki, Qianren Zhang, Tadashi Ohta, Nobuyoshi Terashima
Elicitation of Network Service Specifications from Natural Language Descriptions at Various Viewpoints. Int. J. Artif. Intell. Tools 5 (3) (1996)
Yasuro Kawarasaki, Tadashi Ohta
A New Proposal for Feature Interaction Detection and Elimination. FIW (1995)
Akira Takura, Keizo Kawata, Tadashi Ohta
Process Specification Generation from Communications Service Specifications. Autom. Softw. Eng. 2 (2) (1995)
Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta
A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW (1995)
Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. AADEBUG (1995)
Yoshizumi Kobayashi, Hiroshi Enoki, Tadashi Ohta
Understanding natural language requirement descriptions for telecommunication services. ICTAI (1995)
Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta
An independent software-modification method. ICSM (1995)
Yoshizumi Kobayashi, Tadashi Ohta, Nobuyoshi Terashima
A Requirement Description Approach in Natural Language Based on Communication Service Knowledge. IEICE Trans. Inf. Syst. (9) (1995)
Akira Takura, Tadashi Ohta
Stepwise telecommunication software generation from service specifications in state transition model. ICNP (1994)
Tadashi Ohta, Y. Harada
Classification, detection and resolution of service interactions in telecommunication services. FIW (1994)
Thomas Hardjono, Tadashi Ohta
Secure end-to-end delegations in distributed systems. Comput. Commun. 17 (3) (1994)
Keizo Kawata, Akira Takura, Tadashi Ohta
On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. ICCI (1993)
Thomas Hardjono, Tadashi Ohta
Fixed-Path Proxy-Logins with Assured Termination. ICCI (1993)
Yukio Umetani, Chisato Konno, Tadashi Ohta
Visual PDEQSOL: A Visual and Interactive Environment for Numerical Simulation. Programming Environments for High-Level Scientific Problem Solving (1991)