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
Jump to: A | B | C | D | E | F | G | I | J | K | L | M | N | O | P | R | S | T | W | Y | Z
Number of items: 101.

A

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

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

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), 447-466. (doi:10.1007/s10009-010-0145-y).

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, 09381 09381).

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) , Shanghai, China, 21 - 23 Jun 2010. (Submitted).

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. In, 32nd Annual International IEEE EMBS Conference, Buenos Aires, Argentina, 31 Aug - 04 Sep 2010. (Submitted).

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, University of Newcastle-upon-Tyne, 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, University of Newcastle-upon-Tyne, 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, Dresden, Germany, 08 - 12 Mar 2010. (Submitted).

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

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

B

Bacigalupo, David, Chen, Xiaoyu, Wills, Gary and Gilbert, Lester (2010) Guidance Notes for Cloud Research Users. JISC Digital Media Repository

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, Southampton., UK, 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 05 - 07 Jul 2010.

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

C

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.

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, Melbourne, Australia, 17 - 20 May 2010. , 509-512.

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

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). In, European Identity Conference, Cloud 2010, Munich, Germany, 04 - 07 May 2010.

Chang, Victor, Wills, Gary and De Roure, David (2010) A Review of Cloud Business Models and Sustainability. In, IEEE Cloud 2010, the third International Conference on Cloud Computing , Miami, Florida, USA, 05 - 10 Jul 2010. IEEE Computer Society Washington, DC, USA ©2010, 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 , Miami, Florida, USA, 05 - 10 Jul 2010. (Submitted).

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. In, UK e-Science All Hands Meeting 2010 "Research Clouds: Hype or Reality?" Workshop, Cardiff, GB, 13 - 16 Sep 2010. 3pp.

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

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

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

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

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

Cordeiro, Lucas and Fischer, Bernd (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. At 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, 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. In, 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, St. Anne's College, University of Oxford, UK, 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, St. Anne's College, University of Oxford, UK, 22 - 26 Mar 2010.

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), 1545-1558. (doi:10.1007/s10845-010-0458-4).

D

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, Munich, Germany, 22 - 25 Mar 2010.

Douglas, Andrew, Walters, Robert and Wills, Gary (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), Zhang Jia Jie, China, 14 - 15 Jul 2010. (Submitted).

E

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

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

F

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

G

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

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

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

I

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

Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (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), Freiburg., Germany, 26 - 28 Jul 2010. , 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, Atlanta, Georgia, 28 Sep - 02 Oct 2010. Anita Borg Institute for Women & Technology, 51.

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

J

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

K

Kazmierski, Tom, Zhou, Dafeng, Al-Hashimi, Bashir and Ashburn, Peter (2010) Numerically efficient modeling of CNT transistors with ballistic and non-ballistic effects for circuit simulation. IEEE Transactions on Nanotechnology, 9, (1), 99-107. (doi:10.1109/TNANO.2009.2017019).

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), 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), 1409-1421. (doi:10.1109/TCAD.2010.2059310).

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

L

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2010) The Language Theory of Bounded Context-Switching. In, LATIN, Oaxaca, Mexico, 19 - 23 Apr 2010. Springer, 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, Ottawa, Canada,

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), 233-237 . (doi:10.1109/TCSII.2010.2043379).

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, 42-56.

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, Sardinia, Italy,

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, 81-92.

M

Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. In, Partiality and Recursion in Interactive Theorem Provers PAR-10 (Submitted).

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

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, 7-44.

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)

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. In, ISCAS, Paris, (Submitted).

N

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

Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (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), Cappadocia, Turkey, 29 Apr - 01 May 2010.

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

O

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

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

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

P

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

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

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

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

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), 254-258.

R

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), 1221-1242. (doi:10.1016/j.ic.2010.06.001).

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

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

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

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. In, ACM International Conference on Computing Frontiers, Bertinoro, IT, 17 - 19 May 2010. , 113-114.

Rossi, Daniele, Omana, Martin, Giaffreda, Daniele and Metra, Cecilia (2010) Secure communication protocol for wireless sensor networks. In, 8th IEEE East-West Design & Test Symposium (EWDTS), St. Petersburg, Russia, 17 - 20 Sep 2010. , 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. In, 25th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Kyoto, JP, 06 - 08 Oct 2010. , 391-398. (doi:10.1109/DFT.2010.53).

S

Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. In, FMCO Formal Methods for Components and Objects Springer LNCS, 89-104.

Shafik, Rishad Ahmed, Al-Hashimi, Bashir M. and Chakrabarty, Krish (2010) Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems. In, Design, Automation and Test in Europe (DATE), Dresden, 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), Asia, (Submitted).

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

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

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

Sitthisak, Onjira and Gilbert, Lester (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, Colin, Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B. At Workshop on Tool Building in Formal Methods - ABZ Conference, Orford, Quebec, Canada,

Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, Paris, FR, 31 Aug - 03 Sep 2010. , 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. In, ABZ2010, Orford, Canada, 23 - 25 Feb 2010.

T

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In, CAV, Edinburgh,, UK, 15 - 19 Jul 2010. Springer, 629-644.

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

W

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. In, Med-e-Tel 2010, , Luxembourg, 14 - 16 Apr 2010. In, Med-e-tel: Global Telemedicines and eHealth Updates: Knowledge Resources Vol 3. Editors Malina Jordanova and Frank Lievens, ISfTeH International Society for Telemedicine & eHealth , 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. In, Med-e-Tel 2010, 14 - 16 Apr 2010. In, Med-e-tel: Global Telemedicines and eHealth Updates: Knowledge Resources Vol 3. Editors Malina Jordanova and Frank Lievens, ISfTeH International Society for Telemedicine & eHealth, 518-522.

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. (Submitted)

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

Y

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, Dresden , Germany, 08 Mar 2010. 6pp, 69-74.

Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (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, Washington DC, 13 - 14 Apr 2010. , 182-191.

Yusoff, Amri, Crowder, Richard and Gilbert, Lester (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), Braga, Portugal, 25 - 26 Mar 2010. , 45-51.

Z

Zain, W.S.W., Prodromakis, T. and Toumazou, C. (2010) A bulk-driven ISFET-based chemical mixer. In, IEEE Biomedical Circuits and Systems Conference (BioCAS), Paphos, CY, 03 - 05 Nov 2010. IEEE, 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. In, 2010 International Computer Assisted Assessment (CAA) Conference, Southampton, UK, 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. In, The 2010 International Conference on e-Commerce, e-Administration, e-Society, e-Education, and e-Technology , Macau, 25 - 27 Jan 2010.

This list was generated on Tue Nov 25 01:39:57 2014 GMT.