Keyword : nondeterminism


Indifferentiable Security Reconsidered: Role of Scheduling
Kazuki YONEYAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/01/01
Vol. E95-A  No. 1 ; pp. 185-195
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Formal Approach
Keyword: 
indifferentiabilityschedulingnondeterminismtask-PIOAreducibility
 Summary | Full Text:PDF(1.3MB)

Inkdot versus Pebble over Two-Dimensional Languages
Atsuyuki INOUE Akira ITO Kunihiko HIRAISHI Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/05/01
Vol. E88-A  No. 5 ; pp. 1173-1180
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
inkdotpebbletwo-dimensional automatanondeterminismalternation
 Summary | Full Text:PDF(260.1KB)

Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time
Tsunehiro YOSHINAGA Katsushi INOUE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/05/01
Vol. E86-A  No. 5 ; pp. 1207-1212
Type of Manuscript:  Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
determinismnondeterminismself-verifying nondeterminismLas Vegasmulti-counter automata
 Summary | Full Text:PDF(183.8KB)