Information and Systems-Software Science(Date:2005/06/17)

Presentation
表紙

,  

[Date]2005/6/17
[Paper #]
目次

,  

[Date]2005/6/17
[Paper #]
A Static Analysis using Tree Automata for XML Access Control

Isao YAGI,  Yoshiaki TAKATA,  Hiroyuki SEKI,  

[Date]2005/6/17
[Paper #]SS2005-18
A Study on Software Design Using Ontology Technologies

Hiroshi YOSHIDA,  Takashi INOUE,  Yasumi MATSUYUKI,  Tetsuya YAMAMURA,  

[Date]2005/6/17
[Paper #]SS2005-19
A Formal Model for Stateful Trust Management Systems

Hisashi MOURI,  Yoshiaki TAKATA,  Hiroyuki SEKI,  

[Date]2005/6/17
[Paper #]SS2005-20
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability

Keiichirou KUSAKARI,  Takahiro SAKURAI,  Naoki NISHIDA,  Masahiko SAKAI,  Toshiki SAKABE,  

[Date]2005/6/17
[Paper #]SS2005-21
Programming Method in Obfuscated Language Malbolge

Hisashi IIZAWA,  Toshiki SAKABE,  Masahiko SAKAI,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2005/6/17
[Paper #]SS2005-22
Dependency Graph Method for Proving Termination of Narrowing

Koichi MIURA,  Naoki NISHIDA,  Masahiko SAKAI,  Keiichiro KUSAKARI,  Toshiki SAKABE,  

[Date]2005/6/17
[Paper #]SS2005-23
複写される方へ

,  

[Date]2005/6/17
[Paper #]
Notice about photocopying

,  

[Date]2005/6/17
[Paper #]
奥付

,  

[Date]2005/6/17
[Paper #]