He, Xudong; Deng, Yi A framework for developing and analyzing software architecture specifications in SAM. (English) Zbl 1008.68023 Comput. J. 45, No. 1, 111-128 (2002). MSC: 68N01 68Q85 PDF BibTeX XML Cite \textit{X. He} and \textit{Y. Deng}, Comput. J. 45, No. 1, 111--128 (2002; Zbl 1008.68023) Full Text: DOI
Wu, Shih-Lin; Tseng, Yu-Chee; Lin, Chih-Yu; Sheu, Jang-Ping A multi-channel MAC protocol with power control for multi-hop mobile ad hoc networks. (English) Zbl 1016.68006 Comput. J. 45, No. 1, 101-110 (2002). MSC: 68M12 PDF BibTeX XML Cite \textit{S.-L. Wu} et al., Comput. J. 45, No. 1, 101--110 (2002; Zbl 1016.68006) Full Text: DOI
Shatnawi, Ali; Ahmad, M. O.; Swamy, M. N. S. Optimal scheduling of digital signal processing data-flow graphs using shortest-path algorithms. (English) Zbl 1008.68014 Comput. J. 45, No. 1, 88-100 (2002). MSC: 68M20 68M07 68W05 PDF BibTeX XML Cite \textit{A. Shatnawi} et al., Comput. J. 45, No. 1, 88--100 (2002; Zbl 1008.68014) Full Text: DOI
Huang, Chung-Ming; Chao, Yu-Chang Differentiated information presentations for heterogeneous I/O devices using a single mark-up language approach. (English) Zbl 1002.68525 Comput. J. 45, No. 1, 72-87 (2002). MSC: 68U99 68M10 PDF BibTeX XML Cite \textit{C.-M. Huang} and \textit{Y.-C. Chao}, Comput. J. 45, No. 1, 72--87 (2002; Zbl 1002.68525) Full Text: DOI
Tofts, C. Traffic modelling and probabilistic process abstraction. (English) Zbl 1008.68154 Comput. J. 45, No. 1, 62-71 (2002). MSC: 68U20 PDF BibTeX XML Cite \textit{C. Tofts}, Comput. J. 45, No. 1, 62--71 (2002; Zbl 1008.68154) Full Text: DOI
Calder, M.; Maharaj, S.; Shankland, C. A modal logic for full LOTOS based on symbolic transition systems. (English) Zbl 1008.68081 Comput. J. 45, No. 1, 55-61 (2002). MSC: 68Q85 68T15 03B45 PDF BibTeX XML Cite \textit{M. Calder} et al., Comput. J. 45, No. 1, 55--61 (2002; Zbl 1008.68081) Full Text: DOI
Older, Susan; Chin, Shiu-Kai Formal methods for assuring security of protocols. (English) Zbl 1008.68011 Comput. J. 45, No. 1, 46-54 (2002). MSC: 68M12 68P25 PDF BibTeX XML Cite \textit{S. Older} and \textit{S.-K. Chin}, Comput. J. 45, No. 1, 46--54 (2002; Zbl 1008.68011) Full Text: DOI
Norrish, Michael; Slind, Konrad A thread of HOL development. (English) Zbl 1008.68122 Comput. J. 45, No. 1, 37-45 (2002). MSC: 68T15 PDF BibTeX XML Cite \textit{M. Norrish} and \textit{K. Slind}, Comput. J. 45, No. 1, 37--45 (2002; Zbl 1008.68122) Full Text: DOI
Gordon, Michael J. C. Relating event and trace semantics of hardware description languages. (English) Zbl 1008.68027 Comput. J. 45, No. 1, 27-36 (2002). MSC: 68N15 68M99 PDF BibTeX XML Cite \textit{M. J. C. Gordon}, Comput. J. 45, No. 1, 27--36 (2002; Zbl 1008.68027) Full Text: DOI
Furber, Steve Validating the AMULET microprocessors. (English) Zbl 1002.68524 Comput. J. 45, No. 1, 19-26 (2002). MSC: 68U99 68M99 PDF BibTeX XML Cite \textit{S. Furber}, Comput. J. 45, No. 1, 19--26 (2002; Zbl 1002.68524) Full Text: DOI
Edwards, Doug; Bardsley, Andrew Balsa: An asynchronous hardware synthesis language. (English) Zbl 1002.68522 Comput. J. 45, No. 1, 12-18 (2002). MSC: 68U99 68M99 PDF BibTeX XML Cite \textit{D. Edwards} and \textit{A. Bardsley}, Comput. J. 45, No. 1, 12--18 (2002; Zbl 1002.68522) Full Text: DOI
Barringer, Howard; Fellows, Donal; Gough, Graham; Williams, Alan Rainbow: Development, simulation and analysis tools for asynchronous micropipeline hardware design. (English) Zbl 1002.68523 Comput. J. 45, No. 1, 2-11 (2002). MSC: 68U99 68M99 PDF BibTeX XML Cite \textit{H. Barringer} et al., Comput. J. 45, No. 1, 2--11 (2002; Zbl 1002.68523) Full Text: DOI