Information and Systems-Software Science(Date:2004/07/26)

Presentation
表紙

,  

[Date]2004/7/26
[Paper #]
目次

,  

[Date]2004/7/26
[Paper #]
A Decidable Strategy for Higher-Order Rewrite Systems

Hideto KASUYA,  Masahiko SAKAI,  Kiyoshi AGUSA,  

[Date]2004/7/26
[Paper #]SS2004-6
A Proposal of Automatic Configuration Management with Provide-Require Relation on Interface

Yasuhiro HAYASE,  Toshihiro KAMIYA,  Makoto MATSUSHITA,  Katsuro INOUE,  

[Date]2004/7/26
[Paper #]SS2004-7
A Technique for Supporting Refactoring Based on Program Modification

Shinpei HAYASHI,  Masahito KURIHARA,  

[Date]2004/7/26
[Paper #]SS2004-8
UKARI-Core: A Service Platform for Distributed Cooperative Networked Appliances

Atsushi SAWADA,  Yosuke TAJIKA,  Tatsuya YAMAZAKI,  Michihiko MINOH,  

[Date]2004/7/26
[Paper #]SS2004-9
Building a Command Shell that Can Predict Next Commands Using a Neural Network

Toshihiro KITAGAWA,  Yasuhiro SUGIYAMA,  

[Date]2004/7/26
[Paper #]SS2004-10
Java Package for the Implementation of Higher-Order Mobile Agents : A Means to Implement a Functional Language

Yasushi KAMBAYASHI,  Munehiro TAKIMOTO,  Yasushi KODAMA,  

[Date]2004/7/26
[Paper #]SS2004-11
Specification of a Security Protocol based on a State Machine Model

Goichi ITABASHI,  Kaoru TAKAHASHI,  Yasushi KATO,  Takuo SUGANUMA,  Norio SHIRATORI,  

[Date]2004/7/26
[Paper #]SS2004-12
Front-end for JavaScript Type Checker based on Model Generation Theorem Prover

Hirotaka OHKUBO,  Shinichiro YAMAMOTO,  Toshiki SAKABE,  Yasuyoshi INAGAKI,  

[Date]2004/7/26
[Paper #]SS2004-13
複写される方へ

,  

[Date]2004/7/26
[Paper #]
奥付

,  

[Date]2004/7/26
[Paper #]