The University of Southampton
University of Southampton Institutional Repository

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 2012

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: 83.

Article

Type: Article | 2012

Type: Article | 2012

Business Integration as a Service - Victor Chang, Robert Walters and Gary Wills
Type: Article | 2012

SMT-based bounded model checking for embedded ANSI-C software - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Article | 2012

An information system to support the engineering designer - Richard Crowder, David Fowler, Quentin Reul, Derek Sleeman, Nigel Shadbolt and Gary Wills
Type: Article | 2012

Type: Article | 2012

Low-energy standby-sparing for hard real-time systems - Alireza Ejlali, Bashir Al-Hashimi and Petru Eles
Type: Article | 2012

Type: Article | 2012

Type: Article | 2012

Stochastic process algebras: from individuals to populations - Jane Hillston, Mirco Tribastone and Stephen Gilmore
Type: Article | 2012 | Item not available on this server.

Enabling the Discovery of Computational Characteristics of Enzyme Dynamics - Gareth Jones, Chris Lovell, Steve Gunn, Hywel Morgan and Klaus-Peter Zauner
Type: Article | 2012

Modeling of Wireless Sensor Nodes Powered by Tunable Energy Harvesters: HDL-Based Approach - Tom Kazmierski, Geoff V. Merrett, Leran Wang, Bashir Al-Hashimi, Alex Weddell and Ivo Ayala Garcia
Type: Article | 2012

Applying linked data in multimedia annotations - Yunjia Li, Mike Wald and Gary Wills
Type: Article | 2012

Type: Article | 2012

Exploration and exploitation with insufficient resources - Chris Lovell, Gareth Jones, Klaus-Peter Zauner and Steve R. Gunn
Type: Article | 2012

Type: Article | 2012

Processes and unfoldings: concurrent computations in adhesive categories - Baldan Paolo, Corradini Andrea, Heindel Tobias, Koenig Barbara and Sobocinski Pawel
Type: Article | 2012 | Item not available on this server.

Mobile instant messaging used to provide support and advice to South African youth - Marlon Parker, Julia Wills, Lucille Aanhuizen, Lester Gilbert and Gary Wills
Type: Article | 2012 | Item availability restricted.

System-level design optimization of reliable and low power multiprocessor system-on-chip - Rishad Ahmed Shafik, Bashir M. Al-Hashimi and Jeff S. Reeve
Type: Article | 2012 | Item not available on this server.

Fluid rewards for a stochastic process algebra - Mirco Tribastone, Jie Ding, Stephen Gilmore and Jane Hillston
Type: Article | 2012 | Item not available on this server.

Scalable differential analysis of process algebra models - Mirco Tribastone, Stephen Gilmore and Jane Hillston
Type: Article | 2012 | Item not available on this server.

Photovoltaic sample-and-hold circuit enabling MPPT indoors for low-power systems - Alex S. Weddell, Geoff V. Merrett and Bashir M. Al-Hashimi
Type: Article | 2012

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

Approaches to modeling the gas-turbine maintenance process - Tai-Tuck Yu, James P. Scanlan, Richard M. Crowder and Gary B. Wills
Type: Article | 2012

Book

Type: Book | 2012 | University of Southampton

Conference or Workshop Item

Citizen adoption of E-government services - Sulaiman Alateyah, Richard M. Crowder and Gary B. Wills
Type: Conference or Workshop Item | 2012

Towards a volunteer cloud architecture - Abdulelah Alwabel, Robert John Walters and Gary Wills
Type: Conference or Workshop Item | 2012

Towards performance evaluation in Volunteer Clouds - Abdulelah Alwabel, Robert John Walters and Gary Wills
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

A Practical Approach for Closed Systems Formal Verification Using Event-B - Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook
Type: Conference or Workshop Item | 2012

High-reliability fault tolerant digital systems in nanometric technologies: characterization and design methodologies - C. Bolchini, A. Miele, C. Sandionigi, M. Ottavi, S. Pontarelli, A Salsano, C. Metra, M. Omana, D. Rossi, M. Sonza Reorda, L. Sterpone, M. Violante, S. Gerardin, M. Bagattin and A. Paccagnella
Type: Conference or Workshop Item | 2012

Event-B code generation: type extension with theories - Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell
Type: Conference or Workshop Item | 2012

Building on the DEPLOY legacy: code generation and simulation - Andrew Edmunds, John Colley and Michael Butler
Type: Conference or Workshop Item | 2012

Code generation update - Andrew Edmunds, Chris Lovell, Renato Silva, Issam Maamria and Michael Butler
Type: Conference or Workshop Item | 2012

Formal modelling for Ada implementations: tasking Event-B - Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item | 2012

Security Analysis of Role-based Access Control through Program Verification - Anna Lisa Ferrara, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2012

A closed-loop control strategy for glucose control in artificial pancreas systems - Jamil Galadanci, Rishad Ahmed Shafik, Jimson Mathew, Amit Acharyya and Dhiraj K. Pradhan
Type: Conference or Workshop Item | 2012 | Item not available on this server.

Type: Conference or Workshop Item | 2012 | Item not available on this server.

Establishing Translational Research Pipelines for Smart Devices - Simon Grange, Liping Qi, Cy Frank, Martin Ferguson-Pell, Catherine Holloway, Stephen Taylor, Gary Wills and Nick Tyler
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Combining link and content-based information in a Bayesian inference model for entity search - Christos Koumenides, Nigel Shadbolt, Manuel Salvadores and Temitope Omitola
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Sequentializing parameterized programs - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Ensuring extensibility within code generation - Chris Lovell, Andy Edmunds, Renato Silva, Issam Maamria and Michael Butler
Type: Conference or Workshop Item | 2012

A Time-domain morphology and gradient based algorithm for ECG feature extraction - Evangelos Mazomenos, Taihai Chen, Amit Acharyya, Arnab Bhattacharya, James Rosengarten and Koushik Maharatna
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

dRail: a novel physical layout methodology for power gated circuits - Jatin N. Mistry, John Biggs, James Myers, Bashir M. Al-Hashimi and David Flynn
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Model checking LTL properties over ANSI-C programs with bounded traces - Jeremy Morse, Lucas Cordeiro, Denis Nicole and Bernd Fischer
Type: Conference or Workshop Item | 2012 | Item availability restricted.

Type: Conference or Workshop Item | 2012

Faults affecting the control blocks of PV arrays and techniques for their concurrent detection - Martin Omana, Daniele Rossi, Giacomo Collepalumbo, Cecilia Metra and Fabrizio Lombardi
Type: Conference or Workshop Item | 2012 | Item availability restricted.

A model for the uptake and continued use of e-learning in Thai higher education - Nakarin Pinpathomrat, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012 | Item availability restricted.

Toward a framework for software development across organisational boundaries - Abdulrahman Qahtani, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item | 2012

RAEF: a power normalized system-level reliability analysis and estimation framework - R.A. Shafik, B.M. Al-Hashimi, J. Mathew, D.K. Pradhan and S.P. Mohanty
Type: Conference or Workshop Item | 2012 | Item not available on this server.

Type: Conference or Workshop Item | 2012

Scale Free: Twitter’s Retweet Network Structure - Ramine Tinati, Les Carr, Wendy Hall and Johnny Bentwood
Type: Conference or Workshop Item | 2012

Analyzing temporal role based access control models - Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Parlato Gennaro, Anna Lisa Ferrara and Parthasarathy Madhusudan
Type: Conference or Workshop Item | 2012 | Association for Computing Machinery

Building computational grids using ubiquitous web technologies - Robert John Walters, Stephen Crouch and Phillip Bennett
Type: Conference or Workshop Item | 2012

Analysis, quantification, and mitigation of electrical variability due to layout dependent effects in SOC designs - Yangang Wang, Mark Zwolinski, Andrew Appleby, Mark Scoones, Sonia Caldwell, Touqeer Azam, Philippe Hurat and Chris Pitchford
Type: Conference or Workshop Item | 2012 | SPIE - The International Society for Optical Engineering | Item not available on this server.

Vibration-powered sensing system for engine condition monitoring - Alex S. Weddell, Geoff V. Merrett, Stuart Barrow and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2012

A practical self-powered sensor system with a tunable vibration energy harvester - Alex S. Weddell, Dibin Zhu, Geoff V. Merrett, S.P. Beeby and B.M. Al-Hashimi
Type: Conference or Workshop Item | 2012

Addressing the Challenges of Assessment and Feedback in Higher Education: A collaborative effort across three UK Universities - Denise M. Whitelock, Lester Gilbert, Stylianos Hatzipanagos, Stuart Watt, Pei Zhang, Paul Gillary and Alejandra Recio
Type: Conference or Workshop Item | 2012

Calculating learner’s trust in teaching activity - Woraluck Wongse-ek, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item | 2012

Adaptive sampling in context-aware systems: a machine learning approach - Alex L. Wood, Geoff V. Merrett, Steve R. Gunn, Bashir M. Al-Hashimi, Nigel R Shadbolt and Wendy Hall
Type: Conference or Workshop Item | 2012

DejaView: Help with memory, when you need it - Alex L. Wood, Geoff V. Merrett, Dirk de Jager, Bashir M. Al-Hashimi, Kieron O'Hara, Nigel R. Shadbolt and Wendy Hall
Type: Conference or Workshop Item | 2012

Type: Conference or Workshop Item | 2012

STEP: a unified design methodology for secure test and IP core protection - Pranav Yeolekar, Rishad A Shafik, Jimson Mathew, Dhiraj K Pradhan and Saraju P Mohanty
Type: Conference or Workshop Item | 2012 | Item not available on this server.

Type: Conference or Workshop Item | 2012

Monograph

Type: Monograph | 2012 | University of Greenwich; University of Southampton

Type: Monograph | 2012

Type: Monograph | 2012 | University of Southampton

Type: Monograph | 2012 | University of Southampton

Type: Monograph | 2012 | University of Southampton

Type: Monograph | 2012 | University of Southampton

Patent

Type: Patent | 2012 | Item not available on this server.

Thesis

Type: Thesis | 2012

Dataset

Type: Dataset | 2012 | University of Southampton

Type: Dataset | 2012 | University of Southampton

Other

Type: Other | 2012

This list was generated on Tue Mar 26 01:33:10 2024 GMT.
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 http://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.

×