Computer Science
| Title | Computer Science |
|---|---|
| Alternative | S&T - CS |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
New e-Learning system architecture based on knowledge engineering technology
Li, Y., Chen, Z., Huang, R. and Cheng, X. 2009. New e-Learning system architecture based on knowledge engineering technology. 2009 IEEE International Conference on Systems, Man and Cybernetics. San Antonio, TX, USA 11 - 14 Oct 2009 IEEE. pp. 5140-5144 https://doi.org/10.1109/ICSMC.2009.5346013Conference paper
Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals
Li, Y., Guo, H., Gao, G., Huang, R. and Cheng, X. 2009. Ubiquitous e-learning System for dynamic mini-courseware assembling and delivering to mobile terminals. in: Kim, J., Delen, D., Jinsoo, P., Ko, F., Rui, C., Hyung, J., Lee, W. and Kou, G. (ed.) NCM 2009: Fifth International Joint Conference on INC, IMS, and IDC; [proceedings]. IEEE. pp. 1081-1086Book chapter
Exploring efficient imperative handover mechanisms for heterogeneous wireless networks
Mapp, G., Shaikh, F., Aiash, M., Vanni, R., Augusto, M. and Moreira, E. 2009. Exploring efficient imperative handover mechanisms for heterogeneous wireless networks. Duresi, A., Barolli, L., Enokido, T., Uehara, M., Shakshuki, E. and Takizawa, M. (ed.) 12th International Conference on Network-Based Information Systems. Indianapolis, Indiana 19 - 21 Aug 2009 IEEE. pp. 286-291 https://doi.org/10.1109/NBiS.2009.95Conference paper
A theoretical and empirical study of EFSM dependence
Androutsopoulos, K., Gold, N., Harman, M., Li, Z. and Tratt, L. 2009. A theoretical and empirical study of EFSM dependence. ICSM 2009: International Conference on Software Maintenance. Edmonton, AB, Canada 20 - 26 Sep 2009 IEEE. pp. 287-296 https://doi.org/10.1109/ICSM.2009.5306309Conference paper
Control dependence for extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. 2009. Control dependence for extended finite state machines. Chechik, M. and Wirsing, M. (ed.) Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference. York, UK. 03 - 22 Mar 2009 Springer. pp. 216-230 https://doi.org/10.1007/978-3-642-00593-0_15Conference paper
A model to design and verify context-aware adaptive service composition.
Cubo, J., Sama, M., Raimondi, F. and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. 6th IEEE International Conference on Services Computing (SCC 2009). Bangalore 21 - 25 Sep 2009Conference paper
A formal analysis of requirements-based testing
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. Rothermel, G. and Dillon, L. (ed.) ISSTA '09: International Symposium on Software Testing and Analysis. Chicago IL, USA 19 - 23 Jul 2009 Association for Computing Machinery (ACM). pp. 47-56 https://doi.org/10.1145/1572272.1572279Conference paper
An e-learning support toolkit for social work students on placement
Zhang, P., Wills, G., Howard, Y., Oussena, S., Kramer, D., Barn, R. and Barn, B. 2009. An e-learning support toolkit for social work students on placement. Nunes, M. and McPherson, M. (ed.) IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009. Algarve, Portugal 17 - 20 Jun 2009 IADIS.Conference paper
A framework for testing SOA applications
Oussena, S., Barn, B. and Sparks, D. 2009. A framework for testing SOA applications. ICSOFT 2009: 4th International Conference on Software and Data Technologies. Sofia, Bulgaria 26 - 29 Jul 2009 Sofia, Bulgaria Institute for Systems and Technologies of Information, Control and Communication. pp. 53-60 https://doi.org/10.5220/0002257200530060Conference paper
Layered process models: analysis and implementation (using MDA principles)
Oussena, S. and Barn, B. 2009. Layered process models: analysis and implementation (using MDA principles). Cordeiro, J. and Filipe, J. (ed.) 11th International Conference on Enterprise Information Systems. Milan; Italy 06 - 10 May 2009 Institute for Systems and Technologies of Information, Control and Communication. pp. 168-175Conference paper
On the evaluation of reference models for software engineering practice
Barn, B. 2009. On the evaluation of reference models for software engineering practice. 2nd India Software Engineering Conference. Pune, India 23 - 26 Feb 2009 Association for Computing Machinery (ACM). pp. 111-116 https://doi.org/10.1145/1506216.1506238Conference paper
Identifying information seeking behaviours of low andhigh literacy users: combined cognitive task analysis.
Kodagoda, N., Wong, B. and Khan, N. 2009. Identifying information seeking behaviours of low andhigh literacy users: combined cognitive task analysis. British Computer Society (BCS). pp. 347-354Conference paper
A suggested framework for assessing electronic government readiness in Egypt
Azab, N., Kamel, S. and Dafoulas, G. 2009. A suggested framework for assessing electronic government readiness in Egypt. The Electronic Journal of e-Government. 7 (1), pp. 11-28.Article
MCMAS: a model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: a model checker for the verification of multi-agent systems. Bouajjani, A. and Maler, O. (ed.) 21st International Conference on Computer Aided Verification (CAV 2009). Grenoble, France 26 Jun - 02 Jul 2009 Springer. pp. 682-688 https://doi.org/10.1007/978-3-642-02658-4_55Conference paper
Task based visualization of 5D brain EIT data
Zhang, Y., Passmore, P. and Bayford, R. 2009. Task based visualization of 5D brain EIT data. SAC09: The 2009 ACM Symposium on Applied Computing. Honolulu Hawaii, USA 08 - 12 Mar 2009 New York Association for Computing Machinery (ACM). pp. 831-835 https://doi.org/10.1145/1529282.1529459Conference paper
A psycholinguistic model of natural language parsing implemented in simulated neurons
Huyck, C. 2009. A psycholinguistic model of natural language parsing implemented in simulated neurons. Cognitive Neurodynamics. 3 (4), pp. 316-330. https://doi.org/10.1007/s11571-009-9080-6Article
Visualization of multidimensional and multimodal tomographic medical imaging data, a case study
Zhang, Y., Passmore, P. and Bayford, R. 2009. Visualization of multidimensional and multimodal tomographic medical imaging data, a case study. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 367 (1900), pp. 3121-3148. https://doi.org/10.1098/rsta.2009.0084Article
Bounds of optimal learning
Belavkin, R. 2009. Bounds of optimal learning. 2009 IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning. Nashville, TN, USA 30 Mar - 02 Apr 2009 IEEE. pp. 199-204 https://doi.org/10.1109/ADPRL.2009.4927545Conference paper
Webern's Op.21 and the unity of musical space.
Dack, J. 2002. Webern's Op.21 and the unity of musical space. in: Systems Research in the Arts. IIASSRC Conference.Book chapter
"Open" forms and the computer.
Dack, J. 2004. "Open" forms and the computer. in: Barbanti, R. (ed.) Musiques, arts, technologie. Pour une Approche Critique. Collection: 'Musique-philosophie' Paris Harmattan. pp. 401-412Book chapter
Technology and the instrument
Dack, J. 2002. Technology and the instrument. in: Grün, L. and Wiegand, F. (ed.) Musik netz werke - Konturen der neuen Musikkultur Germany Taschenbuch. pp. 39-54Book chapter
Instrument und Pseudoinstrument - Akusmatische Konzepte
Dack, J. 2002. Instrument und Pseudoinstrument - Akusmatische Konzepte. in: Ungeheuer, E. and Bottenberg, E. (ed.) Elektroakustische Musik Laaber-Verlag.Book chapter
An approach to develop human gene disorder database for intelligent variance analysis of genes and its products.
Rahman, S., Khan, N. and Clarkson, T. 2001. An approach to develop human gene disorder database for intelligent variance analysis of genes and its products. in: 12th International workshop on Database and Expert Systems, Munich, Germany. Proceedings. Washington DC, USA IEEE Computer Society Press. pp. 301-305Book chapter
Integration of biological data resources using image object keying.
Rahman, S., Stockman, A. and Khan, N. 2003. Integration of biological data resources using image object keying. in: 16th IEEE Symposium on Computer-based Medical Systems (CBMS'03), New York. Proceedings. . Washington DC, USA IEEE Computer Society Press.Book chapter
A new approach to detect similar proteins from 2D Gel Electrophoresis Images.
Rahman, S. and Khan, N. 2003. A new approach to detect similar proteins from 2D Gel Electrophoresis Images. in: 3rd International Symposium on Bioinformatics and Bioengineering, Washington DC. Proceedings. Washington DC, USA IEEE Computer Society Press.Book chapter
The effects of presenting functionally abstracted information in fault diagnosis tasks
Ham, D. and Yoon, W. 2001. The effects of presenting functionally abstracted information in fault diagnosis tasks. Reliability Engineering and System Safety, Elsevier Science. 73 (2), pp. 103-119. https://doi.org/10.1016/S0951-8320(01)00053-9Article
Design of information content and layout for process control based on goal-means domain analysis
Ham, D. and Yoon, W. 2001. Design of information content and layout for process control based on goal-means domain analysis. Cognition, Technology and Work. 3 (4), pp. 205-223. https://doi.org/10.1007/s10111-001-8003-zArticle
MaRMI-III: a methodology for component-based development
Ham, D., Cho, J., Kim, J. and Ha, S. 2004. MaRMI-III: a methodology for component-based development. Electronics and Telecommunications Research Institute (ETRI) Journal. 26 (2), pp. 167-180. https://doi.org/10.4218/etrij.04.0103.0041Article
Fit for purpose evaluation: the case of a public information kiosk for the socially disadvantaged.
Wong, B., Springett, M. and Keith, S. 2005. Fit for purpose evaluation: the case of a public information kiosk for the socially disadvantaged. in: People and Computers XIX - The Bigger Picture: Proceedings of HCI 2005 (BCS Conference) Springer Verlag. pp. 149-165Book chapter
Critical Decision Method data analysis
Wong, B. 2003. Critical Decision Method data analysis. in: Diaper, D. and Stanton, N. (ed.) The handbook of task analysis for human-computer interaction Lawrence Erlbaum Associates.. pp. 327-346Book chapter
A cooperative environment for genetic variance analysis using component database for database integration.
Khan, N., Stockman, A. and Rahman, S. 2002. A cooperative environment for genetic variance analysis using component database for database integration. in: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), Slovenia. IEEE Computer Society Press. pp. 365-368Book chapter
A framework for molecular biology databases integration using context graph keying.
Khan, N., Stockman, A. and Rahman, S. 2004. A framework for molecular biology databases integration using context graph keying. in: 17th IEEE COmputer Based Medical System Conference (CBMS 2004), Bethesda, Maryland, USA. Proceedings. IEEE Computer Society Press. pp. 21-26Book chapter
Prediction of Type II MODY3 diabetes using backpercolation.
Khan, N., Chukwuemeka, I. and Rahman, S. 2005. Prediction of Type II MODY3 diabetes using backpercolation. in: 18th IEEE Cmputer Based Medical System Conference, Dublin. Proceedings London IEEE Computer Society Press. pp. 401-403Book chapter
Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study.
Khan, N., Stiglic, G., Verlic, M. and Kokol, P. 2007. Gene expression analysis of leukemia samples using visual interpretation of small ensembles: a case study. in: 2nd International Conference in Pattern Recognition in Bioinformatics, Singapore. Lecture Notes in Computer Science Heidelberg Springer Berlin.Book chapter
GEQUAMO—a generic, multilayered, customisable, software quality model
Georgiadou, E. 2003. GEQUAMO—a generic, multilayered, customisable, software quality model. Software Quality Journal. 11 (4), pp. 313-323. https://doi.org/10.1023/A:1025817312035Article
Selection enthusiasm.
Mitchell, I. and Agrawal, A. 2006. Selection enthusiasm. in: 6th International Conference on Simulated Evolutionand Learning, Hefei, China. Proceedings. Heidelberg Springer Verlag.Book chapter
Dynamics in proportionate selection.
Mitchell, I., Agrawal, A., Litovski, I. and Passmore, P. 2005. Dynamics in proportionate selection. in: International Conference on Adaptive and Natural Computnig Alogorithms, Coimbra, Portugal. Proceedings. Vienna. Springer. pp. 226-229Book chapter
A practical approach for 4G systems: deployment of overlay networks.
Mapp, G., Stajano, F., Crowcroft, J. and Vidales, P. 2005. A practical approach for 4G systems: deployment of overlay networks. in: First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities, Tridentcom 2005, Trento, Italy. IEEE Computer Society Press. pp. 172-181Book chapter
A client-based handoff mechanism for mobile IPv6 wireless networks.
Mapp, G. and Pantanapongpibul, L. 2003. A client-based handoff mechanism for mobile IPv6 wireless networks. in: 8th IEEE Symposium on Computers and Communications (ISCC), Antalya, Turkey. Proceedings IEEE Computer Society Press. pp. 563-568Book chapter
The use of design for all to support elderly blind and partially sighted users to retain their independence.
Whitney, G. 2003. The use of design for all to support elderly blind and partially sighted users to retain their independence. in: Stephanidis, C. (ed.) 10th International Conference on Human - Computer Interaction, Crete. Published in Universal Access in HCI: Inclusive Design in the Information Society Lawrence Erlbaum Associates.. pp. 1340-1344Book chapter
444293
total views90064
total downloads12297
views this month2921
downloads this month