Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 2010
(Grouped by Nothing)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 102.

Merrett, G. and Tan, Y. K., eds. (2010) Wireless Sensor Networks: Application-Centric Design [Preface]. InTech. ISBN 978-953-307-321-7

Abbas, N., Gravell, A. and Wills, G. (2010) The Impact of Organization, Project and Governance Variables on Software Quality and Project Success. In: Agile 2010, August 9 - 13, Orlando, Florida.

Abbas, N., Gravell, A. and Wills, G. (2010) Using Factor Analysis to Generate Clusters of Agile Practices. In: Agile 2010, August 9 - 13, Orlando, Florida.

Abrial, J. R., Butler, M., Hallerstede, S., Hoang, T. S., Mehta, F. and Voisin, L. (2010) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT), 12 (6). pp. 447-466. ISSN 1433-2779 (Print) 1433-2787 (Online)

Abrial, J. R., Butler, M., Joshi, R., Troubitsyna, E. and Woodcock, J. C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, 09381 (09381) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Acharyya, A., Maharatna, K. and Al-Hashimi, B. (2010) Co-ordinate Rotation Based Low Complexity 2D FastICA Algorithm and Architecture. In: International Conference on Green Circuits and Systems (ICGCS) , 21-23 June, 2010, Shanghai, China. (In Press)

Acharyya, A., Maharatna, K., Al-Hashimi, B. and Mondal, S. (2010) Robust Channel Identification Scheme: Solving Permutation Indeterminacy of ICA for Artifacts Removal from ECG. In: 32nd Annual International IEEE EMBS Conference, August 31 - September 4, 2010, Buenos Aires, Argentina. (In Press)

Acharyya, A., Mondal, S., Maharatna, K. and Al-Hashimi, B. (2010) Automated and Robust Channel Identification Algorithm and Architecture to Solve Permutation Problem of ICA for Artifacts Removal from ECG in Remote Health Monitoring Environment. In: Sixth UK Embedded Forum, 30 June - 1 July, 2010, University of Newcastle-upon-Tyne, United Kingdom. (In Press)

Acharyya, A., Tudugalle, H., Maharatna, K., Al-Hashimi, B. and Gunn, S. (2010) VLSI ARCHITECTURE FOR FETAL ECG EXTRACTION FOR PERSONALIZED HEALTHCARE APPLICATION WITHIN RESOURCE CONSTRAINED ENVIRONMENT. In: Sixth UK Embedded Forum, 30 June - 1 July, 2010, University of Newcastle-upon-Tyne, United Kingdom. (In Press)

Acharyya, A., Maharatna, K. and Al-Hashimi, B. (2010) Algorithm and Architecture for N-D Vector Cross-Product Computation. IEEE Transactions on Signal Processing . (In Press)

Ali, M., Al-Hashimi, B., Recas, J. and Atienza, D. (2010) Evaluation and Design Exploration of Solar Harvested-Energy Prediction Algorithm. In: DATE 2010 - Design Automation and Test in Europe 2010, 8-12 March 2010, Dresden, Germany. (In Press)

Anderson, G. (2010) Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE. Technical Report , ECS, Soton. (Submitted)

Asnawi, A. L., Gravell, A. and Wills, G. (2010) An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia. In: 5th International Doctoral Symposium on Empirical Software Engineering (IDoESE), 15 September 2010, Bolzano-Bozen Italy.

Bacigalupo, D., Warburton, B., Draffan, E. A., Zhang, P., Gilbert, L. and Wills, G. (2010) The EASiHE Spanish and British Sign Language Formative eAssessment Case Studies. In: CAA 2010, 20th & 21st July 2010, , Southampton, UK..

Bacigalupo, D., Warburton, B., Draffan, E. A., Zhang, P., Gilbert, L. and Wills, G. (2010) A Formative eAssessment Co-Design Case Study. In: The 10th IEEE International Conference on Advanced Learning Technologies , July 5-7, 2010 .

Bacigalupo, D., Chen, X., Wills, G. and Gilbert, L. (2010) Guidance Notes for Cloud Research Users.

Basir, N., Denney, E. and Fischer, B. (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In: The 29th International Conference on Computer Safety, Reliability and Security, 14 - 17 September 2010, Vienna, Austria. (In Press)

Chang, V. (2010) Cloud Computing – strategies and cases from fifteen industrial firms. Technical Report , ECS, Univ of southampton. (Submitted)

Chang, V. (2010) Three detailed case studies and 3D modelling for the Review of Cloud Business Models and Sustainability. Technical Report , ECS, Southampton.

Chang, V., Bacigalupo, D., Wills, G. and De Roure, D. (2010) A Categorisation of Cloud Computing Business Models. In: CCGrid 2010, The 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 17-20, Melbourne, Australia. pp. 509-512.

Chang, V., Wills, G. and De Roure, D. (2010) The Review of Cloud Business Models and Demonstrations in Finance and Health Clouds. In: European Identity Conference, Cloud 2010, 4th of May - 7th of May, 2010, Munich, Germany.

Chang, V., Wills, G. and De Roure, D. (2010) A Review of Cloud Business Models and Sustainability. In: IEEE Cloud 2010, the third International Conference on Cloud Computing , 5-10 July, 2010, Miami, Florida, USA. pp. 43-50.

Chang, V., Wills, G. and De Roure, D. (2010) Towards Financial Cloud Framework - Modelling and Benchmarking of Financial Assets in Public and Private Clouds. In: IEEE Cloud 2010, the third International Conference on Cloud Computing , 5-10 July, 2010, Miami, Florida, USA.

Chang, V. (2010) The OMII Software - Flexible for being a Grid and a Cloud. In: 2010 International Symposium on Grid Computing (ISGC) , 10-12 March, Taipei, Taiwan.

Chang, V., Wills, G. and De Roure, D. (2010) Cloud Business Models and Sustainability: Impacts for businesses and e-Research. In: UK e-Science All Hands Meeting 2010, Software Sustainability Workshop, 13-16th September, 2010, Cardiff.

Chang, V., Wills, G., De Roure, D. and Chee, C. (2010) Investigating the Cloud Computing Business Framework - Modelling and Benchmarking of Financial Assets and job submissions in Clouds. In: UK e-Science All Hands Meeting 2010, Research Clouds: Hype or Reality Workshop , 13-16th September, 2010, Cardiff.

Chen, X., Wills, G., Gilbert, L. and Bacigalupo, D. (2010) Guidance Notes for Cloud Infrastructure Service Provider.

Chen, X., Wills, G., Gilbert, L. and Bacigalupo, D. (2010) Using Cloud for Research: A Technical Review.

Cirstea, C. (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In: Coalgebraic Methods in Computer Science 2010. pp. 83-103.

Colley, J. (2010) Guarded Atomic Actions and Refinement in a System-on-Chip Development Flow: Bridging the Specification Gap with Event-B. PhD thesis, University of Southampton.

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. Technical Report , Dependable Systems and Software Engineering, University of Southampton.

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. In: 8th International Workshop on Satisfiability Modulo Theories, July 14–15, 2010, Edinburgh.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Crowder, R., Fowler, D., Reul, Q., Sleeman, D., Shadbolt, N. and Wills, G. (2010) An information system to support the engineering designer. Journal of Intelligent Manufacturing . (In Press)

De Jager, D., Mazomenos, E., Banerjee, A., Maharatna, K. and Reeve, J. (2010) A Low-Power Simplified-MEWS Scoring device for Patient Monitoring. In: 4th International ICST Conference on Pervasive Computing Technologies for Healthcare 2010, 22-25 March 2010, Munich, Germany.

Douglas, A., Walters, R. and Wills, G. (2010) NPE - A Conceptual Model and Language for the Representation of Norms. In: Quality of Service-Based Systems (in conjustion with 10th International IEEE Conference on Quality Software), 14/15 July 2010, Zhang Jia Jie, China.

Edmunds, A. (2010) Providing Concurrent Implementations for Event-B Developments. PhD thesis, University of Southampton.

Edmunds, A. and Butler, M. (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010.

Ejlali, A., Al-Hashimi, B. M., Rosinger, P., Miremadi, S. G. and Benini, L. (2010) Performability/Energy Trade-off in Error-Control Schemes for On-Chip Networks. IEEE Transactions on VLSI Systems, 18 (1). pp. 1-14. ISSN 10638210

El Shabrawy, K., Maharatna, K., Bagnall, D. and Al-Hashimi, B. M. (2010) Modeling SWCNT bandgap and effective mass variation using a Monte Carlo
approach.
IEEE Transactions on Nanotechnology . pp. 184-93.

Fowler, D., Crowder, R., Guan, T., Shadbolt, N. and Wills, G. (2010) Requirements for Semantic Web Aapplications in Engineering. In: ASME 2010 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 15-18, 2010, Montreal Quebec, canada.

Gondal, A., Poppleton, M., Butler, M. and Snook, C. (2010) Feature-Oriented Modelling Using Event-B. In: International Conference on Software Engineering Theory and Practice (SETP-10), July 12-14, 2010, Orlando, FL, USA.. (In Press)

Grech, N., Rathke, J. and Fischer, B. (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In: Workshop on Generative Technologies, 27th March 2010, Paphos, Cyprus.

Grech, N., Fischer, B. and Rathke, J. (2010) JEqualityGen: Generating Equality and Hashing Methods. In: Generative Programming and Component Engineering,, October 10-13, 2010, Eindhoven, The Netherlands. pp. 177-186.

Ibrahim, R., Wills, G. and Gilbert, L. (2010) A Conceptual Framework for Supporting Gender-Inclusivity in Games. In: the i<tag> Interactive Technologies and Games: Education, Health and Disability Conference., 26th - 27th October , 2010, Nottingham, United Kingdom.

Ibrahim, R., Wills, G. and Gilbert, L. (2010) deGendering Games: Towards A Gender-Inclusive Framework For Games. In: IADIS International Conference: Games and Entertainment Technologies part of the IADIS Multiconference on Computer Science & Information Systems (MCCSIS 2010), July 26th – 28th, 2010, Freiburg, Germany.. pp. 127-130.

Ibrahim, R., Wills, G. and Gilbert, L. (2010) deGendering Games: Towards the Development of a Gender-Inclusivity Framework (GIF). In: Grace Hopper Conference 2010: Grace Hopper Celebration of Women in Computing, September 28th – October 2nd, 2010, Atlanta, Georgia. p. 51.

Ireland, A., Grov, G. and Butler, M. (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010, February 2010, Orford, Canada. (In Press)

Joochim, T., Snook, C., Poppleton, M. and Gravell, A. (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS. In: IASTED International Conference on Software Engineering (SE2010), February 16 – 18, 2010, Innsbruck, Austria.

Kazmierski, T., Zhou, D., Al-Hashimi, B. and Ashburn, P. (2010) Numerically efficient modelling of CNT transistors with ballistic and non ballistic effects for circuit simulation. IEEE Transactions on Nanotechnology, 9 (1). pp. 99-107.

Khursheed, S. S. (2010) Test and Diagnosis of Resistive Bridges in Multi-Vdd Designs. PhD thesis, University of Southampton.

Khursheed, S. S., Al-Hashimi, B., Chakrabarty, K. and Harrod, P. (2010) Gate-Sizing-Based Single Vdd Test for Bridge Defects in Multi-Voltage Designs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . (In Press)

Khursheed, S. S., Zhong, S., Al-Hashimi, B., Aitken, R. and Kundu, S. (2010) Modeling the Impact of Process Variation on Resistive Bridge Defects. In: International Test Conference, Austin, Texas, USA.

La Torre, S., Madhusudan, P. and Parlato, G. (2010) The Language Theory of Bounded Context-Switching. In: LATIN, April 19-23, 2010, Oaxaca, Mexico. pp. 96-107.

Li, L., Maunder, R. G., Al-Hashimi, B. M. and Hanzo, L. (2010) An energy-efficient error correction scheme for IEEE 802.15.4 wireless sensor networks. IEEE Transactions on Circuits and Systems II, 57 (3). 233-237 . ISSN 1549-7747

Li, L., Maunder, R. G., Al-Hashimi, B. and Hanzo, L. (2010) A Low-Complexity Turbo Decoder Architecture for Energy-Efficient Wireless Sensor Networks. IEEE Transactions on Very Large Scale Integration . (In Press)

Li, L., Maunder, R. G., Al-Hashimi, B. M. and Hanzo, L. (2010) Design of Fixed-Point Processing Based Turbo Codes Using Extrinsic Information Transfer Charts. In: IEEE Vehicular Technology Conference, September 2010, Ottawa, Canada.

Lovell, C., Jones, G., Gunn, S. and Zauner, K. P. (2010) Autonomous Experimentation: Coupling Active Learning with Computer Controlled Microfluidics (abstract). In: Active Learning and Experimental Design Workshop, 16 May 2010, Sardinia, Italy.

Lovell, C., Jones, G., Gunn, S. and Zauner, K. P. (2010) Characterising Enzymes for Information Processing: Towards an Artificial Experimenter. In: 9th International Conference on Unconventional Computation, pp. 81-92, Springer Berlin / Heidelberg. ISBN 978-3-642-13522-4

Lovell, C., Jones, G., Gunn, S. and Zauner, K. P. (2010) An Artificial Experimenter for Enzymatic Response Characterisation. In: 13th International Conference on Discovery Science, pp. 42-56, Springer-Verlag. ISBN ISBN: 978-3-642-16183-4 (In Press)

Maamria, I. and Butler, M. (2010) Rewriting and Well-Definedness within a Proof System. In: Partiality and Recursion in Interactive Theorem Provers PAR-10. (In Press)

Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A. (2010) On an Extensible Rule-based Prover for Event-B. In: ABZ2010, 23-25 Feb 2010, Orford, Canada. (In Press)

Merrett, G., Ettabib, M., Peters, C., Hallett, G. and White, N. (2010) Augmenting Forearm Crutches with Wireless Sensors for Lower Limb Rehabilitation. Measurement Science and Technology, 21 (12).

Merrett, M., Wang, Y., Zwolinski, M., Maharatna, K. and Alioto, M. (2010) Design Metrics for RTL level estimation of delay variability due to intradie (random) variations. In: ISCAS, Paris. (In Press)

Merrett, G., Weddell, A. and Harris, N. (2010) Wireless Devices and Sensor Networks. In: Energy Harvesting for Autonomous Systems, pp. 7-44, Artech House. ISBN 978-1-59693-718-5

Nitchot, A., Gilbert, L. and Wills, G. (2010) A Competence Model to Design Assessment Questions for Self-Study. In: 2010 International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, 20th & 21st July 2010, Southampton, UK.

Nitchot, A., Gilbert, L. and Wills, G. (2010) A Competence-based System for Recommending Study Materials from the Web (CBSR). In: The 9th International Conference on Information Technology Based Higher Education and Training (ITHET 2010), 29 April - 01 May 2010, Cappadocia, Turkey.

Nitchot, A., Gilbert, L. and Wills, G. (2010) Towards a Competence based System for Recommending Study Materials (CBSR). In: The 10th IEEE International Conference on Advanced Learning Technologies, 5 - 7 July 2010, Sousse, Tunisia.

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2010) A Conceptual Model For Learning Outcomes in the Motor Skill Domain. In: The Eighth IASTED International Conference on Web-based Education ~WBE 2010~, March 15 – 17, 2010, Sharm El Sheikh, Egypt.

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2010) Feedback in the Computer-based Sport Training. In: Global Learn Asia Pacific 2010 - Global Conference on Learning and Technology, May 17 - 20, Penang, Malaysia.

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2010) Pedagogical Feedback for Computer-based Sport Training. In: 2010 International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, 20th & 21st July 2010, Southampton, UK.

Parker, M., Wills, J. and Wills, G. (2010) Reconstructed Living Lab: Supporting drug users and families though co-operative counselling using mobile phone technology. South African Journal of Family Practice, 52 (3). pp. 254-258. ISSN 1726-426X

Parker, M., Wills, G. and Wills, J. (2010) Using Mobile Instant Messaging to support the Substance Abuse problem amongst youth in South Africa. In: International Development InformaticsConference, 3-5 Nov 2010, Cape Town .

Rathke, J. and Soboci\'nski, P. (2010) Deriving structural labelled transitions for mobile ambients. Information and Computation . (In Press)

Rebenich, T., Gravell, A. and Tiropanis, T. (2010) Motivating University Students Using a Location-Aware Time Management System with Social Networking Features. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, 28 June 2010 - 2 July 2010, Toronto, Canada.

Rebenich, T., Gravell, A. and Tiropanis, T. (2010) Survey of Students' Technology Use for Time Management. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, 28 June 2010 - 2 July 2010, Toronto, Canada.

Reed, N., Scanlan, J., Wills, G. and Halliday, S. (2010) The Inertia Problem: Implementation of a Holistic Design Support System. The Electronic Journal of Knowledge Management, 8 (3). pp. 279-292. ISSN 1479-4411

Salehi Fathabadi, A. and Butler, M. (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. In: FMCO Formal Methods for Components and Objects. pp. 89-104.

Shafik, R. (2010) Investigation into Low Power and Reliable System-on-Chip Design. PhD thesis, University of Southampton.

Shafik, R. A., Al-Hashimi, B. M. and Chakrabarty, K. (2010) Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems. In: Design, Automation and Test in Europe (DATE), March, 2010, Dresden, Germany.

Shahidipour, H., Zhong, Y., Ahmadi, A. and Maharatna, K. (2010) Effects of CNT Diameter Variability on a CNFET-Based SRAM. In: Asia Pacific Conference on Circuits and Systems (APCCAS), 2010, Asia.

Silva, R., Pascal, C., Hoang, T. S. and Butler, M. (2010) Decomposition Tool for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22nd February 2010, Orford, Quebec, Canada.

Silva, R. and Butler, M. (2010) Shared Event Composition/Decomposition in Event-B. In: FMCO Formal Methods for Components and Objects, 29 November - 1 December 2010, Graz, Austria.

Sitthisak, O. and Gilbert, L. (2010) An evaluation of generated question sequences based on competency modelling. In: The 18th International Conference on Computers in Education, Malaysia.

Sitthisak, O. and Gilbert, L. (2010) Extension of IMS LD for improved pedagogical expressiveness in assessment. In: The International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, Southampton, UK.

Snook, C., Fritz, F. and Illisaov, A. (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22nd February 2010, Orford, Quebec, Canada.

Sobocinski, P. (2010) Representations of Petri net interactions. In: CONCUR `10, August 31 - September 3 2010, Paris, France.

Sorge, J., Poppleton, M. and Butler, M. (2010) A Basis for Feature-Oriented Modelling in Event-B. In: ABZ2010, 23-25 Feb 2010, Orford, Canada. (In Press)

Srivastava, S., Melouki, A. and Al-Hashimi, B. (2010) Tagged Repair Techniques for Defect Tolerance in Hybrid nano/CMOS Architecture. IEEE NanoTechnology Council . ISSN 1536-125X (In Press)

Torre, S. L., Madhusudan, P. and Parlato, G. (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In: CAV, July 15-19, 2010, Edinburgh, UK,. pp. 629-644.

Turner, E., Butler, M. and Leuschel, M. (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010, February 2010, Orford, Canada. (In Press)

Williams, S., Yardley, L., Weal, M. and Wills, G. (2010) Introduction to LifeGuide: Open-source Software for Creating Online Interventions for Health Care, Health Promotion and Training. In: Med-e-Tel 2010, 14-16 April 2010,, Luxembourg. pp. 187-190.

Williams, S., Yardley, L., Wills, G., Samangooei, S. and Gilbert, L. (2010) A Virtual Research Environment (VRE) to Support Sharing and Collaboration in Internet Intervention Projects. In: Med-e-Tel 2010, 14-16 April 2010,, Luxembourg. pp. 518-522.

Wills, G., Gilbert, L., Grange, S. and Recio, A. (2010) VRIC-Virtual Research Integration Collaboration: A VRE aimed at creating a framework to manage the research life cycles of basic science and clinical research. Technical Report , ECS, University of Southampton. (Submitted)

Wills, G., Gilbert, L., Grange, S., Recio, A., Santer, M., Smitham , P. and Malikian, R. (2010) Virtual Research Integration Collaboration: Procedural Report. Technical Report , Electronics and Computer Science, University of Southampton.

Yang, S., Al-Hashimi, B., Flynn, D. and Khursheed, S. (2010) Scan Based Methodology for Reliable State Retention Power Gating Designs. In: Design, Automation and Test in Europe, 08/March/2010, Dresden, Germany . (In Press)

Yardley, L., Joseph, J., Michie, S., Weal, M., Wills, G. and Little, P. (2010) Evaluation of a Web-based Intervention Providing Tailored Advice for Self-management of Minor Respiratory Symptoms: Exploratory Randomized Controlled Trial. Journal of Medical Internet Research , 12 (4). e66.

Yeganefard, S., Butler, M. and Rezazadeh, A. (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. In: Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, 13-14 April 2010, Washington DC. pp. 182-191.

Yusoff, A., Crowder, R. and Gilbert, L. (2010) Validation of Serious Games Attributes Using the Technology Acceptance Model. In: The 2nd International IEEE Conference on Serious Games and Virtual Worlds for serious applications (VSGAMES 2010), March 25-26, 2010, Braga, Portugal. pp. 45-51.

Zhang, P., Wills, G. and Gilbert, L. (2010) IMS QTIEngine on Android to Support Mobile Learning and Assessment. In: 2010 International Computer Assisted Assessment (CAA) Conference, 20th & 21st July 2010, Southampton, UK.

Zhang, P., Wills, G., Gilbert, L., Warburton, B. and Bacigalupo, D. (2010) IMS QTIEngine on Android to Support Offline Mobile Learning. In: The 2010 International Conference on e-Commerce, e-Administration, e-Society, e-Education, and e-Technology , January 25-27, 2010, Macau.

This list was generated on Tue Sep 2 00:56:38 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints