Items where Author / Artist / Editor is "Bavan, A. S."

Article

Bavan, A. S. and Abeysinghe, Geetha (2005) On the specification and implementation of distributed systems using NMDS and LIPS. Information and software technology, 47 (11) . pp. 721-734. ISSN 0950-5849 [Article] (doi:10.1108/01425450010377579)

Bavan, A. S., Ford, Martyn and Kalatzi, Melina (2000) Genomic and proteomic sequence recognition using a connectionist inference model. Journal of chemical technology and biotechnology, 75 (10) . pp. 901-912. ISSN 0264-3413 [Article] (doi:10.1002/1097-4660(200010))

Mitchell, Ian ORCID: https://orcid.org/0000-0002-3882-9127 and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2) . pp. 106-113. ISSN 0266-4720 [Article]

Book Section

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems. In: Innovations in computing science and software engineering. Sobh, Tarek and Elleithy, Khaled, eds. Springer, Netherlands, pp. 23-28. ISBN 9789048191116. [Book Section] (doi:10.1007/978-90-481-9112-3_5)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS). In: Advanced techniques in computing sciences and software engineering. Elleithy, Khaled, ed. Springer, London, UK, pp. 491-496. ISBN 9789048136599. [Book Section] (doi:10.1007/978-90-481-3660-5_85)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalism for high level specification of parallel/distributed languages. In: Current Trends in Information Technology (CTIT): 2009 International Conference. Institute of Electrical and Electronics Engineers, pp. 19-25. ISBN 9781424457540. [Book Section] (doi:10.1109/CTIT.2009.5423121)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2008) Semantics for the specification of asynchronous communicating systems (SACS). In: Advances in computer and information sciences and engineering. Sobh, Tarek M., ed. Springer, New York, pp. 33-38. ISBN 9781402087400. [Book Section] (doi:10.1007/978-1-4020-8741-7)

Bavan, A. S. (2008) A parallel algorithm that enumerates all the cliques in an undirected graph. In: Advances in computer and information sciences and engineering. Sobh, Tarek, ed. Springer, Dordrecht. ISBN 9781402087400. [Book Section]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2007) Semantics for an asynchronous message passing system. In: Advances and innovations in systems, computing sciences and software engineering. Elleithy, Khaled, ed. Springer, pp. 83-88. ISBN 9781402062681. [Book Section] (doi:10.1007/978-1-4020-6268-1_16)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.. [Book Section]

Abeysinghe, Geetha, Bavan, A. S. and Rajan, A. V. S. (2004) Requirement specification for distributed applications using diagrammatic notations. In: Twelfth international conference on advances in computing & communications, ADCOM-2004: 15-18 December, 2004. Dasgupta, A. R., Iyengar, S. S. and Bhatt, Haresh S., eds. Allied Publishers, New Delhi, pp. 527-535. ISBN 8177647172. [Book Section]

Bavan, A. S., Abeysinghe, Geetha and Maye, R. (2003) Specification and modelling of distributed systems. In: Proceedings of the international conference on communications in computing: CIC '2003. D'Auriol, Brian J., ed. CSREA Press. ISBN 9781932415063. [Book Section]

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 and Bavan, A. S. (2002) Neural cell assemblies for practical applications. In: SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. Callaos, Nagib, ed. International Institute of Informatics and Systemics., Orlando, Florida., pp. 174-177. ISBN 9800781501. [Book Section]

Bavan, A. S. and Illingworth, E. (2001) A language for implementing parallel and distributed systems using asynchronous point-to-pont communication. In: Information processing and technology. Mastorakis, Nikos E. and Nikolopoulos, Stavros D., eds. Nova Science, New York. ISBN 1590331168. [Book Section]

Conference or Workshop Item

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalisms for the verification of parallel/distributed systems. In: CTIT 2009, 8-9 December 2009, Dubai. . [Conference or Workshop Item]

Bavan, A. S. (2009) An artificial neural network that recognizes an ordered set of words in text mining. In: 2009 International conference on the current trends in information technology, 15th-16th Dec 2009, Dubai. . [Conference or Workshop Item]

Bavan, A. S., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Asynchronous message passing architecture for a distributed programming language. In: The IADIS International conference on Applied Computing 2007, 17-20 February 2007, Salamanca, Spain. . [Conference or Workshop Item]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for an asynchronous message passing system. In: International Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006, 4 - 14 December 2006, Online. . [Conference or Workshop Item]

Bavan, A. S. and Illingworth, E. (2000) On the design and implementation of reliable point-to-point asynchronous message passing system. In: The 10th International Conference on Computing and Information ICCI '2000., November 18-21, 2000, Kuwait. . [Conference or Workshop Item]

Book

Bavan, A. S., Illingworth, E., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Specification of asynchronous communicating systems (SACS). IADIS. ISBN 9789728924300. [Book]