Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/05/01 Vol. E88-ANo. 5pp. 1234-1240 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: WDM, heuristic algorithm, optical-drop, wavelength assignment, ring network, NP-complete,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/05/01 Vol. E87-ANo. 5pp. 1070-1076 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: peer-to-peer multicast, real-time communication, multihome network, heuristic algorithm, NP-complete,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/05/01 Vol. E85-ANo. 5pp. 977-987 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: CAP, approximation algorithm, benchmark, NP-hard, cellular network,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/07/25 Vol. E83-ANo. 7pp. 1420-1430 Type of Manuscript: PAPER Category: Graphs and Networks Keyword: graph coloring, simulation, heuristic algorithm, MIPS_CLR, DIMACS,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/03/25 Vol. E82-ANo. 3pp. 487-494 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: LOTOS, synchronous EFSMs, transformation, multi-rendezvous, implementation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/10/25 Vol. E77-ANo. 10pp. 1623-1633 Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications) Category: Keyword: Petri net, marked graph, protocol synthesis, parallel events,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10pp. 1015-1023 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: LOTOS, service definition, protocol specification, simulator, correctness,
Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution-- Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/03/25 Vol. E75-ANo. 3pp. 330-338 Type of Manuscript: INVITED PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems) Category: Keyword: LOTOS, communication protocols, distributed systems, formal description techniques, synthesis,