Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2010

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 104.

Article

Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad and Voisin, Laurent (2010) Rodin: an open toolset for modelling and reasoning in Event-B International Journal on Software Tools for Technology Transfer, 12, (6), pp. 447-466. (doi:10.1007/s10009-010-0145-y).

Crowder, Richard, Fowler, David, Reul, Quentin, Sleeman, Derek, Shadbolt, Nigel and Wills, Gary (2010) An information system to support the engineering designer Journal of Intelligent Manufacturing, 23, (5), pp. 1545-1558. (doi:10.1007/s10845-010-0458-4).

Ejlali, Alireza, Al-Hashimi, Bashir M., Rosinger, Paul, Miremadi, Seyed Ghassem and Benini, Luca (2010) Performability/energy trade-off in error-control schemes for on-chip networks IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 18, (1), pp. 1-14. (doi:10.1109/TVLSI.2008.2000994).

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, 9, (2), pp. 184-93. (doi:10.1109/TNANO.2009.2028343).

Kavousianos, X., Tenentes, V., Chakrabarty, K. and Kalligeros, E. (2010) Defect-oriented LFSR reseeding to target unmodeled defects using stuck-at test sets IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19, (12), pp. 2330-2335. (doi:10.1109/TVLSI.2010.2079961).

Kazmierski, Tom, Zhou, Dafeng, Al-Hashimi, Bashir and Ashburn, Peter (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, Syed Saqib, Al-Hashimi, Bashir, Chakrabarty, Krishnendu and Harrod, Peter (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, 29, (9), pp. 1409-1421. (doi:10.1109/TCAD.2010.2059310).

Li, Liang, Maunder, Robert G., Al-Hashimi, Bashir M. and Hanzo, Lajos (2010) An energy-efficient error correction scheme for IEEE 802.15.4 wireless sensor networks IEEE Transactions on Circuits and Systems II: Express Briefs, 57, (3), pp. 233-237. (doi:10.1109/TCSII.2010.2043379).

Merrett, Geoff V., Ettabib, Mohamed, Peters, Christian, Hallett, Georgina and White, Neil (2010) Augmenting Forearm Crutches with Wireless Sensors for Lower Limb Rehabilitation Measurement Science and Technology, 21, (12) (doi:10.1088/0957-0233/21/12/124008).

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2010) High performance robust latches IEEE Transactions on Computers, 59, (11), pp. 1455-1465. (doi:10.1109/TC.2010.24).

Parker, Marlon, Wills, Julia and Wills, Gary (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.

Rathke, Julian and Sobocinski, Pawel (2010) Deriving structural labelled transitions for mobile ambients [in special issue: 19th International Conference on Concurrency Theory (CONCUR 2008)] Information and Computation, 208, (10), pp. 1221-1242. (doi:10.1016/j.ic.2010.06.001).

Reed, Nicholas, Scanlan, Jim, Wills, Gary and Halliday, Steven (2010) The inertia problem: implementation of a holistic design support system Electronic Journal of Knowledge Management, 8, (3), pp. 319-332.

Tenentes, Vasileios, Kavousianos, X. and Kalligeros, E. (2010) Single and variable-state-skip LFSRs: bridging the gap between test data compression and test set embedding for IP cores IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29, (10), pp. 1640-1644. (doi:10.1109/TCAD.2010.2051096).

Book

Abrial, Jean-Raymond, Butler, Michael, Joshi, Rajev, Troubitsyna, Elena and Woodcock, Jim C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (Dagstuhl Seminar Proceedings, 9381, 9381).

Book Section

Lovell, Chris, Jones, Gareth, Gunn, Steve and Zauner, Klaus-Peter (2010) An Artificial Experimenter for Enzymatic Response Characterisation In, 13th International Conference on Discovery Science. Springer-Verlag pp. 42-56.

Lovell, Chris, Jones, Gareth, Gunn, Steve and Zauner, Klaus-Peter (2010) Characterising Enzymes for Information Processing: Towards an Artificial Experimenter In, 9th International Conference on Unconventional Computation. Springer Berlin / Heidelberg pp. 81-92.

Merrett, Geoff, Weddell, Alex and Harris, Nick (2010) Wireless Devices and Sensor Networks In, Beeby, Steve and White, Neil (eds.) Energy Harvesting for Autonomous Systems. Artech House pp. 7-44.

Conference or Workshop Item

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) The Impact of Organization, Project and Governance Variables on Software Quality and Project Success At Agile 2010. 09 - 13 Aug 2010.

Abbas, Noura, Gravell, Andy and Wills, Gary (2010) Using Factor Analysis to Generate Clusters of Agile Practices At Agile 2010. 09 - 13 Aug 2010.

Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2010) Co-ordinate Rotation Based Low Complexity 2D FastICA Algorithm and Architecture At International Conference on Green Circuits and Systems (ICGCS), China. 21 - 23 Jun 2010.

Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Mondal, Sayanta (2010) Robust Channel Identification Scheme: Solving Permutation Indeterminacy of ICA for Artifacts Removal from ECG At 32nd Annual International IEEE EMBS Conference, Argentina. 31 Aug - 04 Sep 2010.

Acharyya, Amit, Mondal, Sayanta, Maharatna, Koushik and Al-Hashimi, Bashir (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 At Sixth UK Embedded Forum, United Kingdom. 30 Jun - 01 Jul 2010.

Acharyya, Amit, Tudugalle, Hasitha, Maharatna, Koushik, Al-Hashimi, Bashir and Gunn, Steve (2010) VLSI ARCHITECTURE FOR FETAL ECG EXTRACTION FOR PERSONALIZED HEALTHCARE APPLICATION WITHIN RESOURCE CONSTRAINED ENVIRONMENT At Sixth UK Embedded Forum, United Kingdom. 30 Jun - 01 Jul 2010.

Ali, Mustafa, Al-Hashimi, Bashir, Recas, Joaquin and Atienza, David (2010) Evaluation and Design Exploration of Solar Harvested-Energy Prediction Algorithm At DATE 2010 - Design Automation and Test in Europe 2010, Germany. 08 - 12 Mar 2010.

Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2010) An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia At 5th International Doctoral Symposium on Empirical Software Engineering (IDoESE), Italy.

Bacigalupo, David, Warburton, Bill, Draffan, E.A., Zhang, Pei, Gilbert, Lester and Wills, Gary (2010) The EASiHE Spanish and British Sign Language Formative eAssessment Case Studies At CAA 2010, United Kingdom. 20 - 21 Jul 2010.

Bacigalupo, David, Warburton, Bill, Draffan, E.A., Zhang, Pei, Gilbert, Lester and Wills, Gary (2010) A Formative eAssessment Co-Design Case Study At The 10th IEEE International Conference on Advanced Learning Technologies, Tunisia. 05 - 07 Jul 2010.

Balatsouka, S., Tenentes, Vasileios, Kavousianos, X. and Chakrabarty, K. (2010) Defect aware X-filling for low-power scan testing At Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, Germany. 08 - 12 Mar 2010. 6 pp. (doi:10.1109/DATE.2010.5456928).

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2010) Deriving safety cases for hierarchical structure in model-based development At 29th International Conference on Computer Safety, Reliability and Security, Austria. 14 - 17 Sep 2010. , pp. 68-81. (doi:10.1007/978-3-642-15651-9_6).

Chang, Victor (2010) The OMII Software - Flexible for being a Grid and a Cloud At 2010 International Symposium on Grid Computing (ISGC), Taiwan, Province of China. 10 - 12 Mar 2010.

Chang, Victor, Bacigalupo, David, Wills, Gary and De Roure, David (2010) A Categorisation of Cloud Computing Business Models At CCGrid 2010, The 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Australia. 17 - 20 May 2010. , pp. 509-512.

Chang, Victor, Wills, Gary and De Roure, David (2010) Cloud business models and sustainability: impacts for businesses and e-research At UK e-Science All Hands Meeting 2010, Software Sustainability Workshop, United Kingdom. 13 - 16 Sep 2010. 3 pp.

Chang, Victor, Wills, Gary and De Roure, David (2010) The Review of Cloud Business Models and Demonstrations in Finance and Health Clouds (Go to http://www.kuppingercole.com/report/business_models_with_finance_and_health_clouds - 30 Euro) At European Identity Conference, Cloud 2010, Germany. 04 - 07 May 2010.

Chang, Victor, Wills, Gary and De Roure, David (2010) A Review of Cloud Business Models and Sustainability At IEEE Cloud 2010, the third International Conference on Cloud Computing, United States. 05 - 10 Jul 2010. , pp. 43-50.

Chang, Victor, Wills, Gary and De Roure, David (2010) Towards Financial Cloud Framework - Modelling and Benchmarking of Financial Assets in Public and Private Clouds At IEEE Cloud 2010, the third International Conference on Cloud Computing, United States. 05 - 10 Jul 2010.

Chang, Victor, Wills, Gary, De Roure, David and Chee, Clinton (2010) Investigating the Cloud Computing Business Framework - modelling and benchmarking of financial assets and job submissions in clouds At UK e-Science All Hands Meeting 2010 "Research Clouds: Hype or Reality?" Workshop, United Kingdom. 13 - 16 Sep 2010. 3 pp.

Cirstea, Corina, (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics Jacobs, B.P.F., Niqui, M., Rutten, J.J.M.M. and Silva, A. (eds.) At Coalgebraic Methods in Computer Science 2010. , pp. 83-103.

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers At 8th International Workshop on Satisfiability Modulo Theories. 14 - 15 Jul 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking At 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, United Kingdom. 22 - 26 Mar 2010.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking At 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, United Kingdom. 22 - 26 Mar 2010.

De Jager, Dirk, Mazomenos, Evangelos, Banerjee, Anindo, Maharatna, Koushik and Reeve, Jeff (2010) A Low-Power Simplified-MEWS Scoring device for Patient Monitoring At 4th International ICST Conference on Pervasive Computing Technologies for Healthcare 2010, Germany. 22 - 25 Mar 2010.

Douglas, Andrew, Walters, Robert and Wills, Gary (2010) NPE - A Conceptual Model and Language for the Representation of Norms At Quality of Service-Based Systems (in conjustion with 10th International IEEE Conference on Quality Software), China. 14 - 15 Jul 2010.

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation At WS-TBFM2010.

Fowler, David, Crowder, Richard, Guan, Tao, Shadbolt, Nigel and Wills, Gary (2010) Requirements for Semantic Web Aapplications in Engineering At ASME 2010 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Canada. 15 - 18 Aug 2010.

Gondal, Ali, Poppleton, Mike, Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B At International Conference on Software Engineering Theory and Practice (SETP-10), United States. 12 - 14 Jul 2010.

Grech, Neville, Fischer, Bernd and Rathke, Julian (2010) JEqualityGen: Generating Equality and Hashing Methods At Generative Programming and Component Engineering,, Netherlands. 10 - 13 Oct 2010. , pp. 177-186.

Grech, Neville, Rathke, Julian and Fischer, Bernd (2010) Generating correct and efficient equality and hashing methods using JEqualityGen At Workshop on Generative Technologies, Cyprus.

Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2010) A Conceptual Framework for Supporting Gender-Inclusivity in Games At the i Interactive Technologies and Games: Education, Health and Disability Conference., United Kingdom. 26 - 27 Oct 2010.

Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2010) deGendering Games: Towards A Gender-Inclusive Framework For Games At IADIS International Conference: Games and Entertainment Technologies part of the IADIS Multiconference on Computer Science & Information Systems (MCCSIS 2010), Germany. 26 - 28 Jul 2010. , pp. 127-130.

Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2010) deGendering Games: Towards the Development of a Gender-Inclusivity Framework (GIF). At Grace Hopper Conference 2010: Grace Hopper Celebration of Women in Computing, Georgia. 28 Sep - 02 Oct 2010. , p. 51.

Ireland, Andrew, Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance At ABZ 2010, Canada.

Joochim, Tossaporn, Snook, Colin, Poppleton, Mike and Gravell, Andrew (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS At IASTED International Conference on Software Engineering (SE2010), Austria. 16 - 18 Feb 2010.

Kavousianos, Xrysovalantis, Chakrabarty, Krishnendu, Kalligeros, Emmanouil and Tenentes, Vasileios (2010) Defect coverage-driven window-based test compression At 19th Asian Test Symposium (ATS), China. 01 - 04 Dec 2010. 6 pp, pp. 141-146. (doi:10.1109/ATS.2010.33).

Khursheed, Syed Saqib, Zhong, Shida, Al-Hashimi, Bashir, Aitken, Robert and Kundu, Sandip (2010) Modeling the Impact of Process Variation on Resistive Bridge Defects At International Test Conference, United States.

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2010) The Language Theory of Bounded Context-Switching At LATIN, Mexico. 19 - 23 Apr 2010. , pp. 96-107.

Li, Liang, Maunder, Robert G., Al-Hashimi, Bashir M. and Hanzo, Lajos (2010) Design of Fixed-Point Processing Based Turbo Codes Using Extrinsic Information Transfer Charts At IEEE Vehicular Technology Conference, Canada.

Lovell, Chris, Jones, Gareth, Gunn, Steve and Zauner, Klaus-Peter (2010) Autonomous Experimentation: Coupling Active Learning with Computer Controlled Microfluidics (abstract) At Active Learning and Experimental Design Workshop, Italy.

Maamria, Issam and Butler, Michael (2010) Rewriting and Well-De?nedness within a Proof System At Partiality and Recursion in Interactive Theorem Provers PAR-10.

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an Extensible Rule-based Prover for Event-B At ABZ2010. 23 - 25 Feb 2010.

Merrett, Michael, Wang, Yangang, Zwolinski, Mark, Maharatna, Koushik and Alioto, Massimo (2010) Design Metrics for RTL level estimation of delay variability due to intradie (random) variations At ISCAS.

Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2010) A Competence Model to Design Assessment Questions for Self-Study At 2010 International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, United Kingdom. 20 - 21 Jul 2010.

Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2010) A Competence-based System for Recommending Study Materials from the Web (CBSR) At The 9th International Conference on Information Technology Based Higher Education and Training (ITHET 2010), Turkey. 29 Apr - 01 May 2010.

Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2010) Towards a Competence based System for Recommending Study Materials (CBSR) At The 10th IEEE International Conference on Advanced Learning Technologies, Tunisia. 05 - 07 Jul 2010.

Omana, Martin, Rossi, Daniele, Bosio, Nicolo' and Metra, Cecilia (2010) Novel low-cost aging sensor At CF '10 Proceedings of the 7th ACM international conference on Computing frontiers, Italy. 17 - 19 May 2010. , pp. 93-94. (doi:10.1145/1787275.1787299).

Omana, Martin, Rossi, Daniele, Bosio, Nicolo' and Metra, Cecilia (2010) Self-checking monitor for NBTI due degradation At IEEE International Mixed-Signals, Sensors, and Systems Test Workshop, France. 07 - 09 Jun 2010. , pp. 1-6. (doi:10.1109/IMS3TW.2010.5503006).

P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2010) A Conceptual Model For Learning Outcomes in the Motor Skill Domain At The Eighth IASTED International Conference on Web-based Education ~WBE 2010~, Egypt. 15 - 17 Mar 2010.

P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2010) Feedback in the Computer-based Sport Training At Global Learn Asia Pacific 2010 - Global Conference on Learning and Technology, Malaysia. 17 - 20 May 2010.

P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2010) Pedagogical Feedback for Computer-based Sport Training At 2010 International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, United Kingdom. 20 - 21 Jul 2010.

Parker, Marlon, Wills, Gary and Wills, Julia (2010) Using Mobile Instant Messaging to support the Substance Abuse problem amongst youth in South Africa At International Development InformaticsConference. 03 - 05 Nov 2010.

Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2010) Motivating University Students Using a Location-Aware Time Management System with Social Networking Features At World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, Canada. 28 Jun - 02 Jul 2010.

Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2010) Survey of Students' Technology Use for Time Management At World Conference on Educational Multimedia, Hypermedia & Telecommunications 2010, Canada. 28 Jun - 02 Jul 2010.

Rossi, Daniele, Omana, Martin, Berghella, Gianluca, Metra, Cecilia, Chandra, Tirumurti and Galivanche, Rajesh (2010) Low cost and low intrusive approach to test on-line the scheduler of high performance microprocessors At ACM International Conference on Computing Frontiers, Italy. 17 - 19 May 2010. , pp. 113-114.

Rossi, Daniele, Omana, Martin, Giaffreda, Daniele and Metra, Cecilia (2010) Secure communication protocol for wireless sensor networks At 8th IEEE East-West Design & Test Symposium (EWDTS), Russian Federation. 17 - 20 Sep 2010. , pp. 17-20. (doi:10.1109/EWDTS.2010.5742155).

Rossi, Daniele, Omana, Martin and Metra, Cecilia (2010) Transient fault and soft error on-die monitoring scheme At 25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Japan. 06 - 08 Oct 2010. , pp. 391-398. (doi:10.1109/DFT.2010.53).

Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol At FMCO Formal Methods for Components and Objects. , pp. 89-104. (doi:10.1007/978-3-642-17071-3_5).

Shafik, Rishad Ahmed, Al-Hashimi, Bashir M. and Chakrabarty, Krish (2010) Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems At Design, Automation and Test in Europe (DATE), Germany.

Shahidipour, Hamed, Zhong, Yue, Ahmadi, Arash and Maharatna, Koushik (2010) Effects of CNT Diameter Variability on a CNFET-Based SRAM At Asia Pacific Conference on Circuits and Systems (APCCAS).

Silva, Renato and Butler, Michael (2010) Shared Event Composition/Decomposition in Event-B At FMCO Formal Methods for Components and Objects, Austria. 29 Nov - 01 Dec 2010.

Silva, Renato, Pascal, Carine, Hoang, T. Son and Butler, Michael (2010) Decomposition Tool for Event-B At Workshop on Tool Building in Formal Methods - ABZ Conference, Canada.

Sitthisak, Onjira and Gilbert, Lester (2010) An evaluation of generated question sequences based on competency modelling At The 18th International Conference on Computers in Education, Malaysia.

Sitthisak, Onjira and Gilbert, Lester (2010) Extension of IMS LD for improved pedagogical expressiveness in assessment At The International Computer Assisted Assessment (CAA) Conference: Research into E-Assessment, United Kingdom.

Snook, Colin, Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B At Workshop on Tool Building in Formal Methods - ABZ Conference, Canada.

Sobocinski, Pawel (2010) Representations of Petri net interactions At CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, France. 31 Aug - 03 Sep 2010. , pp. 554-568. (doi:10.1007/978-3-642-15375-4_38).

Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B At ABZ2010. 23 - 25 Feb 2010.

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces At CAV, United Kingdom. 15 - 19 Jul 2010. , pp. 629-644.

Turner, Edd, Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking At ABZ 2010, Canada.

Williams, Sarah, Yardley, Lucy, Weal, Mark and Wills, Gary (2010) Introduction to LifeGuide: Open-source Software for Creating Online Interventions for Health Care, Health Promotion and Training. At Med-e-Tel 2010, Luxembourg. 14 - 16 Apr 2010. , pp. 187-190.

Williams, Sarah, Yardley, Lucy, Wills, Gary, Samangooei, Sina and Gilbert, Lester (2010) A Virtual Research Environment (VRE) to Support Sharing and Collaboration in Internet Intervention Projects. At Med-e-Tel 2010, Luxembourg. 14 - 16 Apr 2010. , pp. 518-522.

Yang, Sheng, Al-Hashimi, Bashir, Flynn, David and Khursheed, Saqib (2010) Scan based methodology for reliable state retention power gating designs At Design, Automation and Test in Europe, Germany. 08 Mar 2010. 6 pp, pp. 69-74.

Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B At Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215. 13 - 14 Apr 2010. , pp. 182-191.

Yusoff, Amri, Crowder, Richard and Gilbert, Lester (2010) Validation of Serious Games Attributes Using the Technology Acceptance Model At The 2nd International IEEE Conference on Serious Games and Virtual Worlds for serious applications (VSGAMES 2010), Portugal. 25 - 26 Mar 2010. , pp. 45-51.

Zain, W.S.W., Prodromakis, T. and Toumazou, C. (2010) A bulk-driven ISFET-based chemical mixer At IEEE Biomedical Circuits and Systems Conference (BioCAS), Cyprus. 03 - 05 Nov 2010. , pp. 134-137. (doi:10.1109/BIOCAS.2010.5709589).

Zhang, Pei, Wills, Gary and Gilbert, Lester (2010) IMS QTIEngine on Android to Support Mobile Learning and Assessment At 2010 International Computer Assisted Assessment (CAA) Conference, United Kingdom. 20 - 21 Jul 2010.

Zhang, Pei, Wills, Gary, Gilbert, Lester, Warburton, Bill and Bacigalupo, David (2010) IMS QTIEngine on Android to Support Offline Mobile Learning At The 2010 International Conference on e-Commerce, e-Administration, e-Society, e-Education, and e-Technology. 25 - 27 Jan 2010.

Monograph

Anderson, Gabrielle (2010) Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE s.n.

Chang, Victor (2010) Cloud Computing – strategies and cases from fifteen industrial firms University of Southampton

Chang, Victor (2010) Three detailed case studies and 3D modelling for the Review of Cloud Business Models and Sustainability s.n.

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers s.n.

Wills, Gary, Gilbert, Lester, Grange, Simon and Recio, Alejandra (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 s.n.

Wills, Gary, Gilbert, Lester, Grange, Simon, Recio, Alejandra, Santer, Michael, Smitham, P and Malikian, R (2010) Virtual Research Integration Collaboration: Procedural Report s.n.

Other

Bacigalupo, David, Chen, Xiaoyu, Wills, Gary and Gilbert, Lester (2010) Guidance Notes for Cloud Research Users

Chen, Xiaoyu, Wills, Gary, Gilbert, Lester and Bacigalupo, David (2010) Guidance Notes for Cloud Infrastructure Service Provider

Chen, Xiaoyu, Wills, Gary, Gilbert, Lester and Bacigalupo, David (2010) Using Cloud for Research: A Technical Review

This list was generated on Sun Apr 9 22:49:58 2017 BST.