The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" and Year is 2008

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

Type: Conference or Workshop Item | 2008

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

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

Composition mechanisms for retrenchment - R. Banach, C. Jeske and M. Poppleton
Type: Article | 2008

Type: Article | 2008 | Item not available on this server.

Type: Conference or Workshop Item | 2008

Type: Conference or Workshop Item | 2008

ABZ2008 Conference - Short Papers - Egon Boerger, Michael Butler, Jonathan Bowen and Paul Boca
Type: Monograph | 2008 | s.n.

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.

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

Modular Games for Coalgebraic Fixed Point Logics - Corina Cirstea and Mehrnoosh Sadrzadeh
Type: Conference or Workshop Item | 2008

Subobject transformation systems - Andrea Corradini, Frank Hermann and Pawel Sobocinski
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.

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

Hardware Dependability in the Presence of Soft Errors - Ashish Darbari and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2008

Type: Monograph | 2008 | s.n.

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

Explaining Verification Conditions - Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item | 2008

Type: Conference or Workshop Item | 2008

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

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

Type: Conference or Workshop Item | 2008

Principles of E-learning Systems Engineering - Lester Gilbert and Veronica Gale
Type: Book | 2008 | Chandos | Item not available on this server.

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

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

Type: Conference or Workshop Item | 2008

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

ProB: an automated analysis toolset for the B method - Michael Leuschel and Michael Butler
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

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.

Reduced Z-datapath CORDIC rotator - Koushik Maharatna, Karim El Shabrawy and Bashir Al-Hashimi
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

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

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

Type: Article | 2008

Robots that don't suck - Denis A Nicole
Type: Conference or Workshop Item | 2008

Asynchronous Transient Resilient Links for NoC - Simon Ogg, Bashir Al-Hashimi and Alex Yakovlev
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

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

Community in Tension (CiT) - Marlon Parker, Gary Wills and Julia Wills
Type: Monograph | 2008 | s.n.

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

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

Full abstraction for polymorphic ?-calculus - Julian Rathke and Alan Jeffrey
Type: Article | 2008 | Item availability restricted.

Deconstructing behavioural theories of mobility - Julian Rathke and Pawel Sobocinski
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.

An Adaptive Time Management System for Student Learning - Till Rebenich and Andrew M Gravell
Type: Conference or Workshop Item | 2008

Type: Conference or Workshop Item | 2008

Risks for signal integrity in system in package and possible rmedies - Daniele Rossi, Paolo Angelini, Cecilia Metra, Giovanni Campardo and G. P. Vanalli
Type: Conference or Workshop Item | 2008 | 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.

A new analytical model for predicting SWCNT band-gap from geometrical properties - K Shabrawy, K Maharatna, DM Bagnall and BM Al-Hashimi
Type: Article | 2008 | Item not available on this server.

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.

Type: Other | 2008

Deriving e-assessment from a competency model - Onjira Sitthisak, Lester Gilbert and Hugh Davis
Type: Conference or Workshop Item | 2008

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

UML-B: A plug-in for the Event-B tool set - Colin Snook and Michael Butler
Type: Conference or Workshop Item | 2008

Type: Article | 2008

Unobtrusive Welfare Monitoring System - Stephen Spikings, Bashir Al-Hashimi and Nick Harris
Type: Other | 2008

Academic administration and management scenarios on the semantic web - Feng Tao, Shakeel Khoja, Hugh Davis and Andy Gravell
Type: Conference or Workshop Item | 2008

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

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

The Frederiks effect and related phenomena in ferronematic materials - V.I. Zadorozhnii, T.J. Sluckin, V.Yu. Reshetnyak and K.S. Thomas
Type: Article | 2008 | Item not available on this server.

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

Type: Conference or Workshop Item | 2008

This list was generated on Tue Sep 18 01:29:44 2018 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×