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 2008
 | Up a level |
Number of items: 110.
A
An Empirical Comparison of Two Agile Projects in the Same Organization - Noura Abbas, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2008
Historical roots of Agile methods: where did “Agile thinking” come from? - Noura Abbas, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2008
A Roadmap for the Rodin Toolset - Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede and Laurent Voisin
Type: Conference or Workshop Item
| 2008
Hardware Development for Pervasive Healthcare Systems: Current Status and Future Directions - Amit Acharyya, Koushik Maharatna and Bashir M. Al Hashimi
Type: Conference or Workshop Item
| 2008
Electronic Integrity Issues in E-assessment Security - Kikelomo M Apampa, Gary B Wills, David Argles and Emil Marais
Type: Conference or Workshop Item
| 2008
Ensuring Privacy of Biometric Factors in Multi-Factor Authentication Systems - Kikelomo M Apampa, Tian Zhang, Gary B Wills and David Argles
Type: Conference or Workshop Item
| 2008
B
Type: Article
| 2008
Constructing a safety case for automatically generated code from formal program verification - N. Basir, E. Denney and B. Fischer
Type: Conference or Workshop Item
| 2008
| Springer Berlin, Heidelberg
| Item not available on this server.
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information - Nurlida Basir, Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item
| 2008
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code - Nurlida Basir, Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item
| 2008
Type: Monograph
| 2008
Type: Article
| 2008
Abstract State Machines, B and Z - First International Conference ABZ 2008 - Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca
Type: Book
| 2008
| Springer
| Item not available on this server.
C
A Four Dimensional Model of Formal and Informal Learning - Wen-Pin Chen, David Millard and Gary Wills
Type: Conference or Workshop Item
| 2008
Mobile VLE vs. Mobile PLE: How Informal is Mobile Learning? - Wen-Pin Chen, David Millard and Gary Wills
Type: Conference or Workshop Item
| 2008
Secure Certification for ePortfolios - Lisha Chen-Wilson, Patrick Newcombe, Piers Royce, Samuel Ong, Timothy Wonnacott, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2008
Secure Certification for e-Portfolios - Lisha Chen-Wilson, Patrick Newcombe, Piers Royce, Samuel Ong, Timothy Wonnacott, Gary Wills and David Argles
Type: Conference or Workshop Item
| 2008
Modal Logics are Coalgebraic - Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder and Yde Venema
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Type: Article
| 2008
| Item not available on this server.
Utilising Located Functions to Model and Optimise Distributed Computations - Stephen Crouch, Peter Henderson and Robert Walters
Type: Conference or Workshop Item
| 2008
Knowledge-Based Repository to Support Engineering Design. - Richard Crowder, Sylvia Wong, Nigel Shadbolt and Gary Wills
Type: Conference or Workshop Item
| 2008
| Item availability restricted.
D
Modelling and proof of a Tree-structured File System in Event-B and Rodin - Kriangsak Damchoom, Michael Butler and Jean-Raymond Abrial
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Symbolic Simulation based Transient Fault Injection Methodology - Ashish Darbari and Bashir Al-Hashimi
Type: Monograph
| 2008
A New Approach for Transient Fault Injection using Symbolic Simulation - Ashish Darbari, Bashir Al-Hashimi, Peter Harrod and Daryl Bradley
Type: Conference or Workshop Item
| 2008
| Item availability restricted.
A Novel Transient Fault Injection Methodology Based on STE Model Checking - Ashish Darbari, Bashir Al-Hashimi, Peter Harrod and Daryl Bradley
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
E
Type: Conference or Workshop Item
| 2008
A new analytical model for predicting SWCNT band-gap from geometric properties - Karim El Shabrawy, Koushik Maharatna, Darren Bagnall and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
F
mPLAT Mobile Placement Learning and Assessment toolkit for Healthcare Students - Sue Faulds, Yvonne Howard, Pei Zhang, David Millard, Gary Wills and Mary Gobbi
Type: Conference or Workshop Item
| 2008
Demystifying the Educational Benefits of Different Gaming Genres - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2008
The Same, But Different: The Educational Affordances of Different Gaming Genres - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2008
G
Type: Book
| 2008
| Chandos Publishing
| Item not available on this server.
A fast separability-based feature selection method for high-dimensional remotely-sensed image classification - B. Guo, R. I. Damper, S. R. Gunn and J. D. B. Nelson
Type: Article
| 2008
Customizing kernel functions for SVM-based hyperspectral image classification - B. Guo, S. R. Gunn, R. I. Damper and J. D. B. Nelson
Type: Article
| 2008
I
A Model for Gender-Inclusivity in Games - Roziana Ibrahim
Type: Thesis
| 2008
Variation aware analysis of bridging fault testing - Urban Ingelsson, Bashir M. Al-Hashimi and Peter Harrod
Type: Conference or Workshop Item
| 2008
J
Timing diagrams add Requirements Engineering capability to Event-B Formal Development - Tossaporn Joochim and Michael Poppleton
Type: Conference or Workshop Item
| 2008
K
Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density - Tom Kazmierski, Dafeng Zhou and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
Bridging fault test method with adaptive power management awareness - Saqib Khursheed, Urban Ingelsson, Paul Rosinger, Bashir Al-Hashimi and Peter Harrod
Type: Article
| 2008
L
Type: Article
| 2008
An Inquiry-led Personalised Navigation System (IPNS) using multi-dimensional linkbases - Panchit Longpradit, Wendy Hall, Robert Walters, Lester Gilbert, Quintin Gee and Gary Wills
Type: Article
| 2008
M
Resistive crossbar switching networks for inherently fault tolerant nano LUTs - X. Ma, F. Huang, Federica Chiminazzo, Daniele Rossi, Cecilia Metra and Fabrizio Lombardi
Type: Conference or Workshop Item
| 2008
| Item availability restricted.
Type: Conference or Workshop Item
| 2008
Space Time Block Coded Multi-user CDMA Systems over Rayleigh Fading Channel - M. Shahriar Mamun, Jamil Hussain, Md. Hasibul Haque and Rishad Ahmed Shafik
Type: Conference or Workshop Item
| 2008
A novel analogue circuit for controlling prosthetic hands - Eduardo Mangieri, Arash Ahmadi, Koushik Maharatna, Siti Ahmad and Paul Chappell
Type: Conference or Workshop Item
| 2008
Wireless Sensor Networks:A case study for Energy Efficient Environmental Monitoring - Ioannis Mathioudakis, Neil M. White, Nick R. Harris and Geoff V. Merrett
Type: Conference or Workshop Item
| 2008
Iterative Decoding for Redistributing Energy Consumption in Wireless Sensor Networks - R. G. Maunder, A. S. Weddell, G. V. Merrett, B. M. Al-Hashimi and L. Hanzo
Type: Conference or Workshop Item
| 2008
A Structured Hardware/Software Architecture for Embedded Sensor Nodes - Geoff V Merrett, Alex S. Weddell, Nick R Harris, Bashir M Al-Hashimi and Neil M White
Type: Conference or Workshop Item
| 2008
Energy managed reporting for wireless sensor networks - Geoff V. Merrett, Nick R. Harris, Bashir M. Al-Hashimi and Neil M. White
Type: Article
| 2008
A Wireless Sensor Network for Cleanroom Monitoring - Geoff V. Merrett, Alex S. Weddell, Luca Berti, Nick R. Harris, Neil M. White and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2008
An Empirical Energy Model for Supercapacitor Powered Wireless Sensor Nodes - Geoff V. Merrett, Alexander S. Weddell, Adam P. Lewis, Nick R. Harris, Bashir M. Al-Hashimi and Neil M. White
Type: Conference or Workshop Item
| 2008
Function-inherent code checking: a new low cost on-line testing approach for high performance microprocessor control logic - Cecilia Metra, Daniele Rossi, Martin Omana, Abhijit Jas and Rajesh Galivanche
Type: Conference or Workshop Item
| 2008
| Item availability restricted.
Semantics on Demand: Can a Semantic Wiki Replace a Knowledge Base? - David Millard, Christopher Bailey, Philip Boulain, Swapna Chennupati, Yvonne Howard, Hugh Davis and Gary Wills
Type: Article
| 2008
(Semantic Web) Services for e-Learning - David Millard, Karl Doody, Hugh Davis, Lester Gilbert, Yvonne Howard, Feng Tao and Gary Wills
Type: Article
| 2008
Co-design for conceptual spaces: an agile design methodology for m-learning - David Millard, Sue Faulds, Lester Gilbert, Yvonne Howard, Dan Sparks, Gary Wills and Pei Zhang
Type: Conference or Workshop Item
| 2008
Towards an Open Repository of Teaching Resources - David Millard, Yvonne Howard, Gary Wills, Julie Watson and Miguel Arrebola
Type: Conference or Workshop Item
| 2008
Subthreshold FIR Filter Architecture for Ultra Low Power Applications - Biswajit Mishra and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2008
| Springer
Advancement in Color Image Processing using Geometric Algebra - Biswajit Mishra, Peter Wilson and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
N
Signal theory for SVM kernel design with applications to parameter estimation and sequence kernels - J. D. B. Nelson, R. I. Damper, S. R. Gunn and B. Guo
Type: Article
| 2008
Robots that don't suck - Denis A Nicole
Type: Conference or Workshop Item
| 2008
O
Type: Conference or Workshop Item
| 2008
Serialized Asynchronous Links for NoC - Simon Ogg, Enrico Valli, Bashir Al-Hashimi, Alex Yakovlev, Crescenzo D'Alessandro and Luca Benini
Type: Conference or Workshop Item
| 2008
P
Reducing latency when using Virtual Reality for teaching in sport - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2008
Type: Monograph
| 2008
Towards Reuse with "Feature-Oriented Event-B" - M. Poppleton, B. Fischer, C. Franklin, A. Gondal, C. Snook and J. Sorge
Type: Conference or Workshop Item
| 2008
The composition of Event-B models - Michael Poppleton
Type: Conference or Workshop Item
| 2008
Risk assessment education: utilizing interactive video for teaching health and safety - Joseph Price, Gary Wills, Itiel E Dror, Tom Cherrett and Sarah Maynard
Type: Conference or Workshop Item
| 2008
| IEEE
R
Type: Article
| 2008
| Item availability restricted.
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework - Rozilawati Razali, Colin Snook, Michael Poppleton and Paul Garratt
Type: Article
| 2008
| Item not available on this server.
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Risks for signal integrity in system in package and possible remedies - Daniele Rossi, Paolo Angelini, Cecilia Metra, Giovanni Campardo and G. P. Vanalli
Type: Conference or Workshop Item
| 2008
| IEEE
| Item availability restricted.
Power consumption of fault tolerant busses - Daniele Rossi, Andre' Nieuwland, V.E.S. Van Dijk, Richard Kleihorst and Cecilia Metra
Type: Article
| 2008
| Item availability restricted.
Simultaneous switching noise: the relation between bus layout and coding - Daniele Rossi, Andre' Niewland and Cecilia Metra
Type: Article
| 2008
| Item availability restricted.
Checkers' no-harm alarms and design approaches to tolerate them - Daniele Rossi, Martin Omana and Cecilia Metra
Type: Article
| 2008
| Item availability restricted.
S
A new analytical model for predicting SWCNT band-gap from geometrical properties - K Shabrawy, K Maharatna, DM Bagnall and BM Al-Hashimi
Type: Conference or Workshop Item
| 2008
| IEEE
| Item not available on this server.
SystemC-based Minimum Intrusive Fault Injection Technique with Improved Fault Representation - Rishad Shafik, Paul Rosinger and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
MPEG-based Performance Comparison between Network-on-Chip and AMBA MPSoC - Rishad Ahmed Shafik, Paul Rosinger and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2008
SystemC-based Fault Injection Technique with Improved Fault Representation - Rishad Ahmed Shafik, Paul Rosinger and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2008
| Item not available on this server.
Composition using Event-B Notation (9 months report) - Renato Silva
Type: Other
| 2008
Type: Conference or Workshop Item
| 2008
An evaluation of pedagogically informed parameterised questions for self assessment - Onjira Sitthisak, Lester Gilbert and Hugh Davis
Type: Article
| 2008
Transforming a competency model to assessment items - Onjira Sitthisak, Lester Gilbert and Hugh Davis
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Type: Conference or Workshop Item
| 2008
Rigorous engineering of product-line requirements: a case study in failure management - Colin Snook, Michael Poppleton and Ian Johnson
Type: Article
| 2008
Type: Other
| 2008
T
Academic administration and management scenarios on the semantic web - Feng Tao, Shakeel Khoja, Hugh Davis and Andy Gravell
Type: Conference or Workshop Item
| 2008
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: Conference or Workshop Item
| 2008
Context-Bounded Analysis of Concurrent Queue Systems - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2008
An Infinite Automaton Characterization of Double Exponential Time - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2008
Verification of scope-dependent hierarchical state machines - Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato
Type: Article
| 2008
Low-power VLSI implementation of the inner receiver for OFDM-based WLAN systems - Alfonso Troya, Koushik Maharatna, Milos Krstic, Eckhard Grass, Ulrich Jagdhold and Rolf Kraemer
Type: Article
| 2008
W
Multimedia Annotation and Community Folksonomy Building - Mike Wald, Gary Wills, David Millard, Lester Gilbert, Shakeel Khoja, Jiri Kajaba and Prins Butt
Type: Conference or Workshop Item
| 2008
Integrated approach to energy harvester mixed technology modelling and performance optimisation - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Steve Beeby and Russel Torah
Type: Conference or Workshop Item
| 2008
Energy Harvesting and Management for Wireless Autonomous Sensors - Alexander S. Weddell, Geoff V. Merrett, Nick R. Harris and Bashir M. Al-Hashimi
Type: Article
| 2008
Assessment Delivery Engine for QTIv2 Tests. - Gary Wills, Lester Gilbert, Jonathan Hare, Jiri Kajaba, David Argles and David Millard
Type: Conference or Workshop Item
| 2008
Assessment delivery engine for QTIv2 tests - Gary Wills, Jonathan Hare, Jiri Kajaba, David Argles, Lester Gilbert and David Millard
Type: Conference or Workshop Item
| 2008
A delivery engine for QTI assessments - Gary Wills, Jonathan Hare, Jiri Kajaba, David Argles, Lester Gilbert and David Millard
Type: Article
| 2008
IC Design and Manufacture for Undergraduates: Theory, Design and Practice - Peter Wilson, Iain McNally, Matthew Swabey and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
The Superchip: Innovative Teaching of IC Design and Manufacture - Peter Wilson, Reuben Wilcock, Iain McNally, Matthew Swabey and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008
Knowledge transfer: from maintenance to engine design - Sylvia C. Wong, Richard M. Crowder, Gary B. Wills and Nigel R. Shadbolt
Type: Article
| 2008
Z
The Frederiks effect and related phenomena in ferronematic materials - V.I. Zadorozhnyi, T.J. Sluckin, V. Yu Reshetnyak and K.S. Thomas
Type: Article
| 2008
| Item availability restricted.
A Mobile Toolkit for Placement Learning - Pei Zhang, David Millard, Gary Wills, Yvonne Howard, Sue Faulds, Lester Gilbert and Dan Sparks
Type: Conference or Workshop Item
| 2008
VHDL-AMS implementation of a numerical ballistic CNT model for logic circuit simulation - Dafeng Zhou, Tom Kazmierski and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2008