Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2010
 | Up a level |
Number of items: 99.
Article
Rodin: an open toolset for modelling and reasoning in Event-B - Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta and Laurent Voisin
Type: Article
| 2010
Performability/energy trade-off in error-control schemes for on-chip networks - Alireza Ejlali, Bashir M. Al-Hashimi, Paul Rosinger, Seyed Ghassem Miremadi and Luca Benini
Type: Article
| 2010
Numerically efficient modeling of CNT transistors with ballistic and non-ballistic effects for circuit simulation - Tom Kazmierski, Dafeng Zhou, Bashir Al-Hashimi and Peter Ashburn
Type: Article
| 2010
Numerically efficient modelling of CNT transistors with ballistic and non ballistic effects for circuit simulation - Tom Kazmierski, Dafeng Zhou, Bashir Al-Hashimi and Peter Ashburn
Type: Article
| 2010
Gate-sizing-based single Vdd test for bridge defects in multi-voltage designs - Syed Saqib Khursheed, Bashir Al-Hashimi, Krishnendu Chakrabarty and Peter Harrod
Type: Article
| 2010
Augmenting forearm crutches with wireless sensors for lower limb rehabilitation - Geoff V. Merrett, Mohamed A. Ettabib, Christian Peters, Georgina Hallett and Neil M. White
Type: Article
| 2010
Type: Article
| 2010
| Item availability restricted.
Topological properties of the Linked Open Data Webgraph - Temitope Omitola, Ian Millard, Hugh Glaser, Nicholas Gibbins and Nigel Shadbolt
Type: Article
| 2010
Reconstructed Living Lab: Supporting drug users and families though co-operative counselling using mobile phone technology - Marlon Parker, Julia Wills and Gary Wills
Type: Article
| 2010
Type: Article
| 2010
| Item availability restricted.
The inertia problem: implementation of a holistic design support system - Nicholas Reed, Jim Scanlan, Gary Wills and Steven Halliday
Type: Article
| 2010
Single and variable-state-skip LFSRs: bridging the gap between test data compression and test set embedding for IP cores - Vasileios Tenentes, X. Kavousianos and E. Kalligeros
Type: Article
| 2010
| Item availability restricted.
Book
09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems - Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna and Jim C. P. Woodcock
Type: Book
| 2010
| Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
| Item not available on this server.
Book Section
An Artificial Experimenter for Enzymatic Response Characterisation - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Book Section
| 2010
| Springer
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Book Section
| 2010
| Springer Berlin, Heidelberg
Type: Book Section
| 2010
| Artech House
| Item not available on this server.
Introduction to LifeGuide: Open-source Software for Creating Online Interventions for Health Care, Health Promotion and Training. - Sarah Williams, Lucy Yardley, Mark Weal and Gary Wills
Type: Book Section
| 2010
| International Society for Telemedicine & eHealth
A Virtual Research Environment (VRE) to Support Sharing and Collaboration in Internet Intervention Projects. - Sarah Williams, Lucy Yardley, Gary Wills, Sina Samangooei and Lester Gilbert
Type: Book Section
| 2010
| Med-e-Tel
Conference or Workshop Item
The Impact of Organization, Project and Governance Variables on Software Quality and Project Success - Noura Abbas, Andy Gravell and Gary Wills
Type: Conference or Workshop Item
| 2010
Using Factor Analysis to Generate Clusters of Agile Practices - Noura Abbas, Andy Gravell and Gary Wills
Type: Conference or Workshop Item
| 2010
Co-ordinate Rotation Based Low Complexity 2D FastICA Algorithm and Architecture - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Robust Channel Identification Scheme: Solving Permutation Indeterminacy of ICA for Artifacts Removal from ECG - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Sayanta Mondal
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Automated and Robust Channel Identification Algorithm and Architecture to Solve Permutation Problem of ICA for Artifacts Removal from ECG in Remote Health Monitoring Environment - Amit Acharyya, Sayanta Mondal, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
VLSI architecture for fetal ECG extraction for personalized healthcare application within resource constrained environmentT - Amit Acharyya, Hasitha Tudugalle, Koushik Maharatna, Bashir Al-Hashimi and Steve Gunn
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Evaluation and Design Exploration of Solar Harvested-Energy Prediction Algorithm - Mustafa Ali, Bashir Al-Hashimi, Joaquin Recas and David Atienza
Type: Conference or Workshop Item
| 2010
An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia - Ani Liza Asnawi, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2010
| Item not available on this server.
The EASiHE Spanish and British Sign Language Formative eAssessment Case Studies - David Bacigalupo, Bill Warburton, E.A. Draffan, Pei Zhang, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
A Formative eAssessment Co-Design Case Study - David Bacigalupo, Bill Warburton, E.A. Draffan, Pei Zhang, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Defect aware X-filling for low-power scan testing - S. Balatsouka, Vasileios Tenentes, X. Kavousianos and K. Chakrabarty
Type: Conference or Workshop Item
| 2010
Deriving safety cases for hierarchical structure in model-based development - Nurlida Basir, Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item
| 2010
The OMII Software - Flexible for being a Grid and a Cloud - Victor Chang
Type: Conference or Workshop Item
| 2010
A Categorisation of Cloud Computing Business Models - Victor Chang, David Bacigalupo, Gary Wills and David De Roure
Type: Conference or Workshop Item
| 2010
Cloud business models and sustainability: impacts for businesses and e-research - Victor Chang, Gary Wills and David De Roure
Type: Conference or Workshop Item
| 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) - Victor Chang, Gary Wills and David De Roure
Type: Conference or Workshop Item
| 2010
| Item not available on this server.
Type: Conference or Workshop Item
| 2010
Towards Financial Cloud Framework - Modelling and Benchmarking of Financial Assets in Public and Private Clouds - Victor Chang, Gary Wills and David De Roure
Type: Conference or Workshop Item
| 2010
Investigating the Cloud Computing Business Framework - modelling and benchmarking of financial assets and job submissions in clouds - Victor Chang, Gary Wills, David De Roure and Clinton Chee
Type: Conference or Workshop Item
| 2010
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics - Corina Cirstea
Type: Conference or Workshop Item
| 2010
Bounded Model Checking of Multi-threaded Software using SMT solvers - Lucas Cordeiro and Bernd Fischer
Type: Conference or Workshop Item
| 2010
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Conference or Workshop Item
| 2010
A Low-Power Simplified-MEWS Scoring device for Patient Monitoring - Dirk De Jager, Evangelos Mazomenos, Anindo Banerjee, Koushik Maharatna and Jeff Reeve
Type: Conference or Workshop Item
| 2010
NPE - A Conceptual Model and Language for the Representation of Norms - Andrew Douglas, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2010
Requirements for semantic web applications in engineering - David Fowler, Richard Crowder, Tao Guan, Nigel Shadbolt and Gary Wills
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Feature-Oriented Modelling Using Event-B - Ali Gondal, Mike Poppleton, Michael Butler and Colin Snook
Type: Conference or Workshop Item
| 2010
JEqualityGen: Generating Equality and Hashing Methods - Neville Grech, Bernd Fischer and Julian Rathke
Type: Conference or Workshop Item
| 2010
Generating correct and efficient equality and hashing methods using JEqualityGen - Neville Grech, Julian Rathke and Bernd Fischer
Type: Conference or Workshop Item
| 2010
A Conceptual Framework for Supporting Gender-Inclusivity in Games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2010
deGendering Games: Towards A Gender-Inclusive Framework For Games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2010
deGendering Games: Towards the Development of a Gender-Inclusivity Framework (GIF). - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2010
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance - Andrew Ireland, Gudmund Grov and Michael Butler
Type: Conference or Workshop Item
| 2010
Timing diagrams requirements modeling using Event-B formal methods - Tossaporn Joochim, Colin Snook, Mike Poppleton and Andrew Gravell
Type: Conference or Workshop Item
| 2010
Defect coverage-driven window-based test compression - Xrysovalantis Kavousianos, Krishnendu Chakrabarty, Emmanouil Kalligeros and Vasileios Tenentes
Type: Conference or Workshop Item
| 2010
Modeling the Impact of Process Variation on Resistive Bridge Defects - Syed Saqib Khursheed, Shida Zhong, Bashir Al-Hashimi, Robert Aitken and Sandip Kundu
Type: Conference or Workshop Item
| 2010
The Language Theory of Bounded Context-Switching - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2010
Design of Fixed-Point Processing Based Turbo Codes Using Extrinsic Information Transfer Charts - Liang Li, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Conference or Workshop Item
| 2010
Autonomous Experimentation: Coupling Active Learning with Computer Controlled Microfluidics (abstract) - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Conference or Workshop Item
| 2010
Type: Conference or Workshop Item
| 2010
Design Metrics for RTL level estimation of delay variability due to intradie (random) variations - Michael Merrett, Yangang Wang, Mark Zwolinski, Koushik Maharatna and Massimo Alioto
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
A Competence Model to Design Assessment Questions for Self-Study - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
A Competence-based System for Recommending Study Materials from the Web (CBSR) - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Towards a Competence based System for Recommending Study Materials (CBSR) - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Self-checking monitor for NBTI due degradation - Martin Omana, Daniele Rossi, Nicolo' Bosio and Cecilia Metra
Type: Conference or Workshop Item
| 2010
A Conceptual Model For Learning Outcomes in the Motor Skill Domain - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Feedback in the Computer-based Sport Training - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Pedagogical Feedback for Computer-based Sport Training - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2010
Using Mobile Instant Messaging to support the Substance Abuse problem amongst youth in South Africa - Marlon Parker, Gary Wills and Julia Wills
Type: Conference or Workshop Item
| 2010
Motivating University Students Using a Location-Aware Time Management System with Social Networking Features - Till Rebenich, Andrew Gravell and Thanassis Tiropanis
Type: Conference or Workshop Item
| 2010
Survey of Students' Technology Use for Time Management - Till Rebenich, Andrew Gravell and Thanassis Tiropanis
Type: Conference or Workshop Item
| 2010
Low cost and low intrusive approach to test on-line the scheduler of high performance microprocessors - Daniele Rossi, Martin Omana, Gianluca Berghella, Cecilia Metra, Tirumurti Chandra and Rajesh Galivanche
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Secure communication protocol for wireless sensor networks - Daniele Rossi, Martin Omana, Daniele Giaffreda and Cecilia Metra
Type: Conference or Workshop Item
| 2010
Transient fault and soft error on-die monitoring scheme - Daniele Rossi, Martin Omana and Cecilia Metra
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
Applying Event-B Atomicity Decomposition to a Multi Media Protocol - Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2010
Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems - Rishad Ahmed Shafik, Bashir M. Al-Hashimi and Krish Chakrabarty
Type: Conference or Workshop Item
| 2010
Effects of CNT Diameter Variability on a CNFET-Based SRAM - Hamed Shahidipour, Yue Zhong, Arash Ahmadi and Koushik Maharatna
Type: Conference or Workshop Item
| 2010
Type: Conference or Workshop Item
| 2010
Type: Conference or Workshop Item
| 2010
An evaluation of generated question sequences based on competency modelling - Onjira Sitthisak and Lester Gilbert
Type: Conference or Workshop Item
| 2010
Extension of IMS LD for improved pedagogical expressiveness in assessment - Onjira Sitthisak and Lester Gilbert
Type: Conference or Workshop Item
| 2010
Representations of Petri net interactions - Pawel Sobocinski
Type: Conference or Workshop Item
| 2010
| Item availability restricted.
A Basis for Feature-Oriented Modelling in Event-B - Jennifer Sorge, Mike Poppleton and Michael Butler
Type: Conference or Workshop Item
| 2010
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2010
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking - Edd Turner, Michael Butler and Michael Leuschel
Type: Conference or Workshop Item
| 2010
Scan based methodology for reliable state retention power gating designs - Sheng Yang, Bashir Al-Hashimi, David Flynn and Saqib Khursheed
Type: Conference or Workshop Item
| 2010
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B - Sanaz Yeganefard, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2010
Validation of Serious Games Attributes Using the Technology Acceptance Model - Amri Yusoff, Richard Crowder and Lester Gilbert
Type: Conference or Workshop Item
| 2010
Type: Conference or Workshop Item
| 2010
| Item not available on this server.
IMS QTIEngine on Android to Support Mobile Learning and Assessment - Pei Zhang, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2010
IMS QTIEngine on Android to Support Offline Mobile Learning - Pei Zhang, Gary Wills, Lester Gilbert, Bill Warburton and David Bacigalupo
Type: Conference or Workshop Item
| 2010
Monograph
Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE - Gabrielle Anderson
Type: Monograph
| 2010
Type: Monograph
| 2010
| University of Southampton
Three detailed case studies and 3D modelling for the Review of Cloud Business Models and Sustainability - Victor Chang
Type: Monograph
| 2010
| Item not available on this server.
Bounded Model Checking of Multi-threaded Software using SMT solvers - Lucas Cordeiro and Bernd Fischer
Type: Monograph
| 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 - Gary Wills, Lester Gilbert, Simon Grange and Alejandra Recio
Type: Monograph
| 2010
Virtual Research Integration Collaboration: Procedural report - Gary Wills, Lester Gilbert, Simon Grange, Alejandra Recio, Michael Santer, Peter Smitham and Raphael Malikian
Type: Monograph
| 2010
| Jisc
Letter
An energy-efficient error correction scheme for IEEE 802.15.4 wireless sensor networks - Liang Li, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Letter
| 2010
Other
Guidance Notes for Cloud Research Users - David Bacigalupo, Xiaoyu Chen, Gary Wills and Lester Gilbert
Type: Other
| 2010
Guidance Notes for Cloud Infrastructure Service Provider - Xiaoyu Chen, Gary Wills, Lester Gilbert and David Bacigalupo
Type: Other
| 2010
Using Cloud for Research: A Technical Review - Xiaoyu Chen, Gary Wills, Lester Gilbert and David Bacigalupo
Type: Other
| 2010