Information and Systems-Software Science(Date:1997/11/21)

Presentation
表紙

,  

[Date]1997/11/21
[Paper #]
目次

,  

[Date]1997/11/21
[Paper #]
[CATALOG]

,  

[Date]1997/11/21
[Paper #]
A New Framework for Representation of Negation : An Approach based on Equivalent Transformation

Kiyoshi Akama,  Koichi Okada,  Eiichi Miyamoto,  

[Date]1997/11/21
[Paper #]SS97-37
Three-dimensional grid generation

Kouhei SUGIZAKI,  Shigeo KAWATA,  

[Date]1997/11/21
[Paper #]SS97-38
Development of the Numerical Simulation System on WWW Network System

Masami MATSUMOTO,  

[Date]1997/11/21
[Paper #]SS97-39
Network Application Program Generator "Dolce" based on ESTM

Taizo Yamamoto,  Shinichiro Yamamoto,  Kiyoshi Agusa,  

[Date]1997/11/21
[Paper #]SS97-40
Generic Interaction Model for Open Systems

Naoki Ishii,  Shin-ya Watanabe,  Eiichi Miyamoto,  

[Date]1997/11/21
[Paper #]SS97-41
A Note on the Use of Bulletin Board Systems for Information Sharing

Jun HISHITANI,  Mitsuhiro TAKAHASHI,  

[Date]1997/11/21
[Paper #]SS97-42
A Technique for Dynamic Composition of Objects' Collective Behaviors

Kiyoshi Inoue,  Shin-ya Watanabe,  Eiichi Miyamoto,  

[Date]1997/11/21
[Paper #]SS97-43
The Methods for Specifying Concurrent Systems with Noninterleaving Property and for Proving Refinement

Michihiro Matsumoto,  Kokichi Futatsugi,  

[Date]1997/11/21
[Paper #]SS97-44
Computer-Assisted Parallelization by Domain Division of Physics Numerical Simulation Program

Sousuke Fujii,  Choompol BOONMEE,  Shigeo KAWATA,  

[Date]1997/11/21
[Paper #]SS97-45
[OTHERS]

,  

[Date]1997/11/21
[Paper #]