| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Naoki Yamauchi, Tadashi Ohta, Kazumasa Takami |
Home Appliance Virtualization Software Configuration for Home Network Services.  |
ICSEA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta |
A Broadcasting Method considering Battery Lifetime and Distance between Nodes in MANET. |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Koji Kawada, Tadashi Ohta |
An Emulator for Debugging Service Programs in Ad Hoc Networks. |
ICSEA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Nakanishi, Muneyuki Shimokura, Tadashi Ohta |
Web Service Programs Described in a Rule-Based Language. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta |
Home Network Service Programs described in a Rule-based Language. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muneyuki Shimokura, Shuichi Nakanishi, Tadashi Ohta |
Networks for a symbiotic human life with robots. |
ROBOCOMM |
2007 |
DBLP DOI BibTeX RDF |
component, service orchestration, rule based language, network robot, state transition model |
| 1 | Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta |
A detection method of feature interactions for Telecommunication services using new execution model. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daiki Okada, Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta |
Programmable Ad Hoc Networks. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sachiko Kawada, Masayuki Shimokura, Tadashi Ohta |
Specification Model for Avoiding Miss-Detection of Feature Interactions. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Harada, Hiroaki Fujiwara, Tadashi Ohta |
Avoidance of Feature Interactions at Run-Time. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-ichi Tatekuwa, Tadashi Ohta |
Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction. |
FIW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shizuko Kawauchi, Tadashi Ohta |
Mechanism for 3-way Feature Interactions Occurrence and a Detection System Based on The Mechanism. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tae Yoneda, Shizuko Kawauchi, Jyunya Yoshida, Tadashi Ohta |
Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | Go Ogose, Jyunya Yoshida, Tae Yoneda, Tadashi Ohta |
Feature Interaction Detection in Active Networks. |
IWAN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta |
A feature interaction benchmark for the first feature interaction detection contest. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta |
Feature interaction detection contest of the Fifth International Workshop on Feature Interactions. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinichi Komatsu, Tadashi Ohta |
Active Networks Architecture Using Declarative Language. |
IWAN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Tae Yoneda, Tadashi Ohta |
Reduction of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommuncation Services. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
terminal assignment detection, specification design stage, dependability, complex systems, feature interactions, computation time, telecommunication services, telecommunication services, service specifications |
| 1 | Tae Yoneda, Tadashi Ohta |
A Formal Approach for Definition and Detection of Feature Interactions. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | Nancy D. Griffeth, Ralph Blumenthal, Jean-Charles Grégoire, Tadashi Ohta |
Feature Interaction Detetion Contest. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | Akira Takura, Keizo Kawata, Tadashi Ohta |
Process Specification Generation from Communications Service Specifications. |
Autom. Softw. Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshizumi Kobayashi, Tadashi Ohta, Nobuyoshi Terashima |
A Requirement Description Approach in Natural Language Based on Communication Service Knowledge. |
IEICE Transactions |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yasuro Kawarasaki, Tadashi Ohta |
A New Proposal for Feature Interaction Detection and Elimination. |
FIW |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta |
A Dynamic Resolution Method for Feature Interactions and Its Evaluation. |
FIW |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kong E. Cheng, Tadashi Ohta (eds.) |
Feature Interactions in Telecommunications III, October 11-13, 1995, Kyoto, Japan |
FIW |
1995 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hardjono, Tadashi Ohta |
Secure end-to-end delegations in distributed systems. |
Computer Communications |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadashi Ohta, Y. Harada |
Classification, detection and resolution of service interactions in telecommunication services. |
FIW |
1994 |
DBLP BibTeX RDF |
|
| 1 | Keizo Kawata, Akira Takura, Tadashi Ohta |
On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hardjono, Tadashi Ohta |
Fixed-Path Proxy-Logins with Assured Termination. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")