Tadashi Ohta

According to our database, Tadashi Ohta authored at least 37 papers between 1991 and 2010.

Collaborative distances:

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

2010

Home Appliance Virtualization Software Configuration for Home Network Services.

Naoki Yamauchi, Tadashi Ohta, Kazumasa Takami

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009

An Emulator for Debugging Service Programs in Ad Hoc Networks.

Koji Kawada, Tadashi Ohta

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

A Broadcasting Method considering Battery Lifetime and Distance between Nodes in MANET.

Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

Automatic Elicitation System of Network Service Specifications from a Set of Rules.

M. Ohba, Tadashi Ohta

Proceedings of the Fifth Advanced International Conference on Telecommunications, 2009

2008

Automatic Elicitation of Network Service Specification.

M. Ohba, K. Egashira, Tadashi Ohta

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Web Service Programs Described in a Rule-Based Language.

Shuichi Nakanishi, Muneyuki Shimokura, Tadashi Ohta

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007

Networks for a symbiotic human life with robots.

Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta

Proceedings of the 1st International Conference on Robot Communication and Coordination, 2007

Home Network Service Programs described in a Rule-based Language.

Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2006

A detection method of feature interactions for Telecommunication services using new execution model.

Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta

Proceedings of the ICSOFT 2006, 2006

Programmable Ad Hoc Networks.

Daiki Okada, Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Specification Model for Avoiding Miss-Detection of Feature Interactions.

Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Avoidance of Feature Interactions at Run-Time.

Daisuke Harada, Hiroaki Fujiwara, Tadashi Ohta

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction.

Ken-ichi Tatekuwa, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2003

Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP.

Tae Yoneda, Shizuko Kawauchi, Jyunya Yoshida, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Mechanism for 3-way Feature Interactions Occurrence and a Detection System Based on The Mechanism.

Shizuko Kawauchi, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002

Feature Interaction Detection in Active Networks.

Go Ogose, Jyunya Yoshida, Tae Yoneda, Tadashi Ohta

Proceedings of the Active Networks, IFIP-TC6 4th International Working Conference, 2002

2000

Feature interaction detection contest of the Fifth International Workshop on Feature Interactions.

Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta

Comput. Networks, 2000

A feature interaction benchmark for the first feature interaction detection contest.

Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta

Comput. Networks, 2000

Active Networks Architecture Using Declarative Language.

Shinichi Komatsu, Tadashi Ohta

Proceedings of the Active Networks, Second International Working Conference, 2000

Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services.

Tae Yoneda, Tadashi Ohta

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

The Declarative Language STR (State Transition Rule).

Tae Yoneda, Tadashi Ohta

Proceedings of the Language Constructs for Describing Features, 2000

1998

A Formal Approach for Definition and Detection of Feature Interactions.

Tae Yoneda, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

Feature Interaction Detetion Contest.

Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1996

Elicitation of Network Service Specifications from Natural Language Descriptions at Various Viewpoints.

Yoshizumi Kobayashi, Hiroshi Enoki, Qianren Zhang, Tadashi Ohta, Nobuyoshi Terashima

Int. J. Artif. Intell. Tools, 1996

1995

A Requirement Description Approach in Natural Language Based on Communication Service Knowledge.

Yoshizumi Kobayashi, Tadashi Ohta, Nobuyoshi Terashima

IEICE Trans. Inf. Syst., 1995

Process Specification Generation from Communications Service Specifications.

Akira Takura, Keizo Kawata, Tadashi Ohta

Autom. Softw. Eng., 1995

Understanding natural language requirement descriptions for telecommunication services.

Yoshizumi Kobayashi, Hiroshi Enoki, Tadashi Ohta

Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

An independent software-modification method.

Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta

Proceedings of the International Conference on Software Maintenance, 1995

A New Proposal for Feature Interaction Detection and Elimination.

Yasuro Kawarasaki, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications III, 1995

A Dynamic Resolution Method for Feature Interactions and Its Evaluation.

Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta

Proceedings of the Feature Interactions in Telecommunications III, 1995

An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND.

Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Secure end-to-end delegations in distributed systems.

Thomas Hardjono, Tadashi Ohta

Comput. Commun., 1994

Stepwise telecommunication software generation from service specifications in state transition model.

Akira Takura, Tadashi Ohta

Proceedings of the 1994 International Conference on Network Protocols, 1994

Classification, detection and resolution of service interactions in telecommunication services.

Tadashi Ohta, Y. Harada

Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993

On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language.

Keizo Kawata, Akira Takura, Tadashi Ohta

Proceedings of the Computing and Information, 1993

Fixed-Path Proxy-Logins with Assured Termination.

Thomas Hardjono, Tadashi Ohta

Proceedings of the Computing and Information, 1993

1991

Visual PDEQSOL: A Visual and Interactive Environment for Numerical Simulation.

Yukio Umetani, Chisato Konno, Tadashi Ohta

Proceedings of the Programming Environments for High-Level Scientific Problem Solving, 1991