default search action
Tadashi Ohta
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c31]Naoki Yamauchi, Tadashi Ohta, Kazumasa Takami:
Home Appliance Virtualization Software Configuration for Home Network Services. ICSEA 2010: 26-31
2000 – 2009
- 2009
- [c30]M. Ohba, Tadashi Ohta:
Automatic Elicitation System of Network Service Specifications from a Set of Rules. AICT 2009: 123-128 - [c29]Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta:
A Broadcasting Method considering Battery Lifetime and Distance between Nodes in MANET. ICDCS Workshops 2009: 406-411 - [c28]Koji Kawada, Tadashi Ohta:
An Emulator for Debugging Service Programs in Ad Hoc Networks. ICSEA 2009: 326-330 - 2008
- [c27]Shuichi Nakanishi, Muneyuki Shimokura, Tadashi Ohta:
Web Service Programs Described in a Rule-Based Language. APSCC 2008: 1506-1511 - [c26]M. Ohba, K. Egashira, Tadashi Ohta:
Automatic Elicitation of Network Service Specification. ICSEA 2008: 25-30 - 2007
- [c25]Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta:
Home Network Service Programs described in a Rule-based Language. ICSEA 2007: 62 - [c24]Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta:
Networks for a symbiotic human life with robots. ROBOCOMM 2007: 41 - 2006
- [c23]Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta:
Specification Model for Avoiding Miss-Detection of Feature Interactions. ICSEA 2006: 3 - [c22]Daisuke Harada, Hiroaki Fujiwara, Tadashi Ohta:
Avoidance of Feature Interactions at Run-Time. ICSEA 2006: 6 - [c21]Daiki Okada, Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta:
Programmable Ad Hoc Networks. ICSEA 2006: 27 - [c20]Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta:
A detection method of feature interactions for Telecommunication services using new execution model. ICSOFT (1) 2006: 190-195 - 2005
- [c19]Ken-ichi Tatekuwa, Tadashi Ohta:
Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction. FIW 2005: 320-326 - 2003
- [c18]Tae Yoneda, Shizuko Kawauchi, Jyunya Yoshida, Tadashi Ohta:
Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP. FIW 2003: 205-214 - [c17]Shizuko Kawauchi, Tadashi Ohta:
Mechanism for 3-way Feature Interactions Occurrence and a Detection System Based on The Mechanism. FIW 2003: 313-328 - 2002
- [c16]Go Ogose, Jyunya Yoshida, Tae Yoneda, Tadashi Ohta:
Feature Interaction Detection in Active Networks. IWAN 2002: 241-252 - 2000
- [j6]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): 389-418 (2000) - [j5]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): 487-510 (2000) - [c15]Tae Yoneda, Tadashi Ohta:
The Declarative Language STR (State Transition Rule). FIREworks 2000: 197-211 - [c14]Tae Yoneda, Tadashi Ohta:
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. ICECCS 2000: 202-209 - [c13]Shinichi Komatsu, Tadashi Ohta:
Active Networks Architecture Using Declarative Language. IWAN 2000: 33-44
1990 – 1999
- 1998
- [c12]Tae Yoneda, Tadashi Ohta:
A Formal Approach for Definition and Detection of Feature Interactions. FIW 1998: 202-216 - [c11]Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta:
Feature Interaction Detetion Contest. FIW 1998: 327-359 - 1996
- [j4]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): 259-276 (1996) - 1995
- [j3]Akira Takura, Keizo Kawata, Tadashi Ohta:
Process Specification Generation from Communications Service Specifications. Autom. Softw. Eng. 2(2): 167-182 (1995) - [j2]Yoshizumi Kobayashi, Tadashi Ohta, Nobuyoshi Terashima:
A Requirement Description Approach in Natural Language Based on Communication Service Knowledge. IEICE Trans. Inf. Syst. 78-D(9): 1156-1163 (1995) - [c10]Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta:
An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. AADEBUG 1995: 191-203 - [c9]Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta:
A Dynamic Resolution Method for Feature Interactions and Its Evaluation. FIW 1995: 97-114 - [c8]Yasuro Kawarasaki, Tadashi Ohta:
A New Proposal for Feature Interaction Detection and Elimination. FIW 1995: 127-139 - [c7]Takao Shimomura, Yasushi Oki, Tetsuya Chikaraishi, Tadashi Ohta:
An independent software-modification method. ICSM 1995: 214-221 - [c6]Yoshizumi Kobayashi, Hiroshi Enoki, Tadashi Ohta:
Understanding natural language requirement descriptions for telecommunication services. ICTAI 1995: 295-302 - [e1]Kong E. Cheng, Tadashi Ohta:
Feature Interactions in Telecommunications III, October 11-13, 1995, Kyoto, Japan. IOS Press 1995, ISBN 90-5199-238-6 [contents] - 1994
- [j1]Thomas Hardjono, Tadashi Ohta:
Secure end-to-end delegations in distributed systems. Comput. Commun. 17(3): 230-238 (1994) - [c5]Tadashi Ohta, Y. Harada:
Classification, detection and resolution of service interactions in telecommunication services. FIW 1994: 60-72 - [c4]Akira Takura, Tadashi Ohta:
Stepwise telecommunication software generation from service specifications in state transition model. ICNP 1994: 135-142 - 1993
- [c3]Thomas Hardjono, Tadashi Ohta:
Fixed-Path Proxy-Logins with Assured Termination. ICCI 1993: 111-115 - [c2]Keizo Kawata, Akira Takura, Tadashi Ohta:
On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. ICCI 1993: 116-122 - 1991
- [c1]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: 259-269
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: