Keyword : software theory


Deriving Protocols from Message Sequence Charts in a Communicating Processes Model
Kenjiroh YAMANAKA Seiichi KOMURA June KATO Haruhisa ICHIKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/11/25
Vol. E79-D  No. 11 ; pp. 1533-1544
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
computer networkssoftware theory
 Summary | Full Text:PDF(842.3KB)

Using Process Algebras for the Semantic Analysis of Data Flow Networks
Cinzia BERNARDESCHI Andrea BONDAVALLI Luca SIMONCINI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8 ; pp. 959-968
Type of Manuscript:  PAPER
Category: Computer Systems
Keyword: 
computer systemssoftware theorydata flow networkssemanticsformal methodsspecification and verificationprocess algebras
 Summary | Full Text:PDF(910.6KB)

Unification-Failure Filter for Natural Language
Alfredo M. MAEDA Hideto TOMABECHI Jun-ichi AOE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/01/25
Vol. E78-D  No. 1 ; pp. 19-26
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
software systemssoftware theoryspeech processingartificial intelligence and cognitive sciencealgorithm and computational complexitycomputer applicationsnatural language processing and understandingunification
 Summary | Full Text:PDF(817.2KB)