Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-18
A Static Analysis using Tree Automata for XML Access Control
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki (NAIST)
pp. 1 - 6
SS2005-19
A Study on Software Design Using Ontology Technologies
Hiroshi Yoshida, Takashi Inoue, Yasumi Matsuyuki, Tetsuya Yamamura (NTT)
pp. 7 - 12
SS2005-20
A Formal Model for Stateful Trust Management Systems
Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki (NAIST)
pp. 13 - 18
SS2005-21
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability
Keiichirou Kusakari, Takahiro Sakurai, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.)
pp. 19 - 24
SS2005-22
Programming Method in Obfuscated Language Malbolge
Hisashi Iizawa, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 25 - 30
SS2005-23
Dependency Graph Method for Proving Termination of Narrowing
Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)
pp. 31 - 36