Search Results1-20 of  21

  • 1 / 2
  • Kenichi Taniguchi Kenichi ID: 9000283467474

    Graduate School of Engineering Science, Osaka University （2001 from CiNii）

    Articles in CiNii:1

    • An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements （2001）
  • Kenichi Taniguchi ID: 9000348879652

    Articles in CiNii:1

    • Presburger Arithmetic and its Application to Program Developments. （1992）
  • Kenichi Taniguchi ID: 9000348881589

    Articles in CiNii:1

    • Software Process Description in LOTOS And Its Execution （1995）
  • Kenichi Taniguchi ID: 9000348882281

    Articles in CiNii:1

    • An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of Equivalence. （1995）
  • Kenichi Taniguchi ID: 9000348886936

    Articles in CiNii:1

    • An Adaptive Bandwidth Management System for Guaranteeing QoS Requirements. （2001）
  • Kenichi Taniguchi ID: 9000348887918

    Articles in CiNii:1

    • A Language for Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels （2002）
  • Kenichi Taniguchi ID: 9000348889654

    Articles in CiNii:1

    • An application level multicast protocol for multi-party visual communication systems （2004）
  • TANIGUCHI Kenichi ID: 1000000029513

    Articles in CiNii:202

    • A Graph Editor for Large Trees with Browsing and Zooming Capabilities （1992）
    • A Realtime Animation Method on Workstations and Its Evaluation （1992）
    • An Automatic Derivation of Test Cases for LOTOS Expressions with Data Paramenters （1992）
  • TANIGUCHI Kenichi ID: 9000004473152

    Articles in CiNii:2

    • Architectural Design Consideration of a Workstation （1986）
    • An Educational Microprogrammable Computer （1984）
  • TANIGUCHI Kenichi ID: 9000004844684

    Department of Informatics and Mathematical Science, Osaka University （1999 from CiNii）

    Articles in CiNii:3

    • Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model （1994）
    • A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit （1998）
    • Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS （1999）
  • TANIGUCHI Kenichi ID: 9000004847646

    Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University （1997 from CiNii）

    Articles in CiNii:1

    • Time - Action Alternating Model for Timed Processes and Its Symbolic Verification of Bisimulation Equivalence （1997）
  • Taniguchi Kenichi ID: 9000004844682

    Faculty of Engineering Science, Osaka University （1994 from CiNii）

    Articles in CiNii:1

    • Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model （1994）
  • Taniguchi Kenichi ID: 9000004930457

    Osaka University （1995 from CiNii）

    Articles in CiNii:1

    • User interface for writing documents efficiently （1995）
  • Taniguchi Kenichi ID: 9000020424626

    Department of Hydrocarbon Chemistry, Kyoto University （1979 from CiNii）

    Articles in CiNii:1

    • The carbonylation of .ALPHA.-haloacetophenones and benzyl halides by disodium tetracarbonylferrate. （1979）
  • Taniguchi Kenichi ID: 9000022333525

    Articles in CiNii:1

    • Service Specification and Protocol Specifications in LOTOS : Equivalence and Synthesis （1992）
  • Taniguchi Kenichi ID: 9000241178410

    Articles in CiNii:6

    • Optimization of Functional Language ASL/F Programs （1984）
    • Functional Programming Language ASL/F and Its Optimizing Compiler （1984）
    • GUI制御部の記述と実現の一手法 （1997）
  • Taniguchi Kenichi ID: 9000255885620

    Department of Surgery, Komaki Municipal Hospital （1990 from CiNii）

    Articles in CiNii:1

    • A case of intestinal anisakiasis with massive hemorrhage as the earliest clinical manifestation. （1990）
  • Taniguchi Kenichi ID: 9000258237548

    Graduate School of Engineering Science, Osaka Univ. （2002 from CiNii）

    Articles in CiNii:1

    • A Language for Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels （2002）
  • Taniguchi Kenichi ID: 9000398792220

    Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University （1995 from CiNii）

    Articles in CiNii:1

    • Software Process Description in LOTOS And Its Execution （1995）
  • Taniguchi Kenichi ID: 9000398792288

    Dept. of Information and Computer Science, Osaka University （1995 from CiNii）

    Articles in CiNii:1

    • An Extension of LOTOS for Specifying Time Constraints among Nonadjacent Actions and Verification of Equivalence. （1995）
  • 1 / 2
Page Top