Tadashi Ohta

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