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 2016
 | Up a level |
Number of items: 134.
A
Type: Dataset
| 2016
| University of Southampton
Outlook on moving of computing services towards the data sources - Farzaneh Akhbar, Victor Chang, Yulin Yao and Víctor Méndez Muñoz
Type: Article
| 2016
Model-based database design - Ahmed Al-Brashdi
Type: Conference or Workshop Item
| 2016
Tool support for model-based database design with Event-B - Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh and Colin Snook
Type: Conference or Workshop Item
| 2016
| Springer
Identifying the influential spreaders in multilayer interactions of online social networks - Mohammed Ali Al-garadi, Kasturi Dewi Varathan, Sri Devi Ravana, Ejaz Ahmed and Victor Chang
Type: Article
| 2016
Investigating the security factors in cloud computing adoption: towards developing an integrated framework - Madini, Obad Alassafi, Abdulrahman, Ayad Alharthi, Ahmed Alenezi, Robert Walters and Gary Wills
Type: Article
| 2016
| Item availability restricted.
Security risk factors that influence cloud computing adoption in Saudi Arabia government agencies - Madini, Obad Alassafi, Abdulrahman, Ayad Alharthi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2016
Converging Future Internet, “Things”, and Big Data: An Specification Following NovaGenesis Model - Antonio Marcos Alberti, Eduardo Souza dos Reis, Rodrigo da Rosa Righi, Víctor Méndez Muñoz and Victor Chang
Type: Conference or Workshop Item
| 2016
A framework for cloud computing adoption by Saudi Government overseas agencies - Ahmed Albugmi, Gary Wills and Robert Walters
Type: Conference or Workshop Item
| 2016
| IEEE
Data security in cloud computing - Ahmed, Nammas Albugmi, Madini, Obad Alassafi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2016
| IEEE
Towards a framework to enable the migration process to educational clouds in Saudi higher education - Abdulrahman Alharthi, Madini Alassafi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2016
| IEEE
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
A dimension-oriented taxonomy of data quality problems in electronic health records - Omar Almutiry, Gary Wills and Richard Crowder
Type: Article
| 2016
| Item availability restricted.
The design of a hybrid cultural model for Arabic gamified systems - Noura Alomar, Vanissa Wanick and Gary Wills
Type: Article
| 2016
Critical success factors (CSFs) for information technology governance (ITG) - Zyad Alreemy, Victor Chang, Robert Walters and Gary Wills
Type: Article
| 2016
Factors that impact the acceptance and usage of e-assessment by academics in Saudi universities - Nuha Alruwais, Gary Wills and Mike Wald
Type: Conference or Workshop Item
| 2016
| Item availability restricted.
Identifying factors that affect the acceptance and use of E-assessment by academics in Saudi Universities - Nuha Alruwais, Gary Wills and Mike Wald
Type: Article
| 2016
Validating factors that impact the acceptance and use of e-assessment among academics in Saudi universities - Nuha Alruwais, Gary Wills and Mike Wald
Type: Article
| 2016
Big Data Services Security and Security challenges in cloud environment - Raed Alsufyani, Khursand Jama, Yulin Yao, Muthu Ramachandran and Victor Chang
Type: Conference or Workshop Item
| 2016
Building on a secure foundation for the Internet of Things - Ranchhod Ashok, M. Zinopoulou, Hany, F. Atlam, Gary Wills and Nik Zulkipli NH
Type: Conference or Workshop Item
| 2016
B
Graceful performance modulation for power-neutral transient computing systems - Domenico Balsamo, Anup Das, Alex Weddell, Davide Brunelli, Bashir M. Al-Hashimi, Geoff V. Merrett and Luca Benini
Type: Article
| 2016
Type: Dataset
| 2016
| University of Southampton
Type: Dataset
| 2016
| University of Southampton
Modelling hybrid systems in Event-B and Hybrid Event-B: a comparison of water tanks - Richard Banach and Michael Butler
Type: Conference or Workshop Item
| 2016
Erica the Rhino: a case study in using Raspberry Pi Single Board Computers for interactive art - Philip Basford, Graeme Bragg, Jonathon Hare, Mike Jewell, Kirk Martinez, David Newman, Reena Pau, Ash Smith and Tyler Ward
Type: Article
| 2016
UML models consistency management: guidelines for software quality manager - Raja Sehrab Bashir, Sai Peck Lee, Saif Ur Rehman Khan, Shahid Farid and Victor Chang
Type: Article
| 2016
A Low-Cost Intelligent Car Break-in Alert System
Using Smartphone Accelerometers for Detecting Vehicle Break-Ins - Reinhold Behringer, Muthu Ramachandran and Victor Chang
Type: Conference or Workshop Item
| 2016
Using fast model-based fault localisation to aid students in self-guided program repair and to improve assessment - Geoff Birch, Bernd Fischer and Michael Poppleton
Type: Conference or Workshop Item
| 2016
| Association for Computing Machinery
| Item not available on this server.
User-experience-aware system optimisation for mobile systems - Alexander S. Bischoff
Type: Thesis
| 2016
Type: Dataset
| 2016
| University of Southampton
Rewriting modulo symmetric monoidal structure - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item
| 2016
| Association for Computing Machinery
Type: Conference or Workshop Item
| 2016
Classifying human emotional states using wireless EEG based ERP and functional connectivity measures - Valentina Bono, Dwaipayan Biswas, Saptarshi Das and Koushik Maharatna
Type: Conference or Workshop Item
| 2016
Hybrid wavelet and EMD/ICA approach for artifact suppression in pervasive EEG - Valentina Bono, Saptarshi Das, Wasifa Jamal and Koushik Maharatna
Type: Article
| 2016
GOLIAH: A gaming platform for home based
intervention in Autism - principles and design - Valentina Bono, Antonio Narzisi, Anne-Lise Jouen, Elodie Tilmont, Stephane Hommel, Wasifa Jamal, Jean Xavier, Koushik Maharatna, Mike Wald, Mohamed Chetouani, David Cohen and Filippo Muratori
Type: Article
| 2016
Lectures on Modelling and Verification in Event-B - Michael Butler
Type: Conference or Workshop Item
| 2016
Modelling and Refining Hybrid Systems in Event-B and Rodin - Michael Butler, Jean-Raymond Abrial and Richard Banach
Type: Book Section
| 2016
| Taylor & Francis
C
BTI aware thermal management for reliable DVFS designs - Hardeep Chahal, Vasileios Tenentes, Daniele Rossi and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2016
A proposed framework for Cloud Computing adoption - Victor Chang
Type: Article
| 2016
Review and discussion: e-learning for academia and industry - Victor Chang
Type: Article
| 2016
Cloud Computing Adoption Framework – a security framework for business clouds - Victor Chang, Yen-Hung Kuo and Muthu Ramachandran
Type: Article
| 2016
Type: Article
| 2016
Towards achieving Data Security with the Cloud Computing Adoption Framework - Victor Chang and Muthu Ramachandran
Type: Article
| 2016
| Item not available on this server.
A resiliency framework for an enterprise cloud - Victor Chang, Muthu Ramachandran, Yulin Yao, Yen-Hung Kuo and Chung-Sheng Li
Type: Article
| 2016
Organisational Sustainability Modelling – an emerging service and analytics model for evaluating Cloud Computing adoption with two case studies - Victor Chang, Robert Walters and Gary Wills
Type: Article
| 2016
Type: Article
| 2016
Type: Dataset
| 2016
| University of Southampton
D
Formal modelling, testing and verification of HSA memory models using Event-B - Ashish Darbari, Iain Singleton, Michael Butler and John Colley
Type: Monograph
| 2016
| University of Southampton
| Item not available on this server.
Using Rodin and BMotionStudio for public engagement - Dana Dghaym, Asieh Salehi Fathabadi and Colin Snook
Type: Conference or Workshop Item
| 2016
| Item availability restricted.
A graphical tool for event refinement structures in Event-B - Dana Dghaym, Matheus Garay Trindade, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2016
Enterprise security: why do we make it so difficult? - Bob Duncan, Mark Whittington and Victor Chang
Type: Conference or Workshop Item
| 2016
F
Threat taxonomy for cloud of things - Md Sadek Ferdous, Raid, Khalid Hussein Hussein, Madini, Obad Alassafi, Abdulrahman, Ayad Alharthi, Robert Walters and Gary Wills
Type: Book Section
| 2016
| United Scholars Publications
| Item availability restricted.
Type: Dataset
| 2016
| University of Southampton
A categorical approach to open and interconnected dynamical systems - Brendan Fong, Pawel Sobocinski and Paolo Rapisarda
Type: Conference or Workshop Item
| 2016
G
Using Location-labeling for Privacy Protection in Location-Based Services - Sun Gang, Hui Li, Dan Liao, Vishal Anand, Hongfang Yu and Victor Chang
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
Fast approximate Bayesian computation for inference in non-linear differential equations - Sanmitra Ghosh
Type: Thesis
| 2016
| University of Southampton
Susceptible workload driven selective fault tolerance using a probabilistic fault model - Mauricio Daniel Gutierrez Alcala, Vasileios Tenentes and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2016
H
Type: Dataset
| 2016
| University of Southampton
Application of Distributed Wireless Chloride Sensors to Environmental Monitoring: Initial Results - Nick Harris, Andy Cranny, Mark Rivers, Keith Smettem and Edward Barrett-Lennard
Type: Article
| 2016
The role of big data in smart city - Ibrahim Abaker Targio Hashem, Victor Chang, Nor Badrul Anuar, Kayode Adewole, Ibrar Yaqoob, Abdullah Gani, Ejaz Ahmed and Haruna Chiroma
Type: Article
| 2016
Theory plug-in for Rodin 3.x - Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler and Laurent Voisin
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
Foundations for using linear temporal logic in Event-B refinement - Thai Son Hoang, Steve Schneider, Helen Treharne and David Williams
Type: Article
| 2016
Type: Dataset
| 2016
| University of Southampton
Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation - Thai Son Hoang, Colin Snook, Lukas Ladenberger and Michael Butler
Type: Conference or Workshop Item
| 2016
The Unit-B method: refinement guided by progress concerns - Simon Hudon, Thai Son Hoang and Jonathan S. Ostroff
Type: Article
| 2016
A framework to secure the virtual machine image in cloud computing - Raid Khalid Hussein, Ahmed Alenezi, Gary B. Wills and Robert J. Walters
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
J
Type: Dataset
| 2016
| University of Southampton
Model for the adoption of telemedicine in Sri Lanka - Dayani Jayasinghe, Richard Crowder and Gary Wills
Type: Article
| 2016
K
Network-on-chip multicast architectures using hybrid wire and surface-wave interconnects - A. Karkar, T. Mak, K. Tong and A. Yakovlev
Type: Article
| 2016
| Item not available on this server.
A survey of emerging interconnects for on-chip efficient multicast and broadcast in many-cores - Ammar Karkar, Terrence Mak, Kin-Fai Tong and Alex Yakolev
Type: Article
| 2016
| Item not available on this server.
A Fuzzy Modelling Approach of Emotion for Affective Computing Systems - Charalampos Karyotis, Faiyaz Doctor, Rahat Iqbal, Anne James and Victor Chang
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
A survey on test suite reduction frameworks and tools - Saif Ur Rehman Khan, Sai Peck Lee, Raja Wasim Ahmad, Adnan Akhunzada and Victor Chang
Type: Article
| 2016
Towards an applicability of current network forensics for cloud networks: a SWOT analysis - Suleman Khan, Abdullah Gani, Ainuddin Wahid Abdul Wahab, Salman Iqbal, Ahmed Abdelaziz, Abdel Muttlib, Omar Adil Mahdi, Muhammad Shiraz, Yusor Rafid Bahar Al-Mayouf, Muhammad Khurram Khan and Victor Chang
Type: Article
| 2016
Massively-parallel bit-serial neural networks for fast epilepsy diagnosis: a feasibility study - Si Mon Kueh and Tom J. Kazmierski
Type: Article
| 2016
L
Type: Article
| 2016
A review and future direction of agile, business intelligence, analytics and data science - Deanne Larson and Victor Chang
Type: Article
| 2016
1.5 Gbit/s FPGA implementation of a fully-parallel turbo decoder designed for mission-critical machine-type communication applications - An Li, Peter Hailes, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Article
| 2016
VLSI Implementation of Fully Parallel LTE Turbo Decoders - An Li, Luping Xiang, Taihai Chen, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Article
| 2016
Orchestrating the Cognitive Internet of Things - Chung-Sheng Li, Frederica Darema, Verena Kantere and Victor Chang
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
Type: Article
| 2016
| Item not available on this server.
Real-time simulation of passage-of-time encoding in cerebellum using a scalable FPGA-based system - R. Luo, G. Coapes, T. Mak, Y. Tadashi, P. Degena and C. Tin
Type: Article
| 2016
M
Design and implementation of an adaptive learning system: an MSc project experience - Daniel Martinez, Rishad Shafik, Amit Acharyya and Geoff V Merrett
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
Detecting elementary arm movements by tracking upper limb joint angles with MARG sensors - Evangelos B. Mazomenos, Dwaipayan Biswas, Andy Cranny, Amal Rajan, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jobges, Steffen Ortmann and Peter Langendorfer
Type: Article
| 2016
Energy harvesting and transient computing: a paradigm shift for embedded systems? - Geoff V. Merrett
Type: Conference or Workshop Item
| 2016
Energy-driven computing for energy-harvesting embedded systems - Geoff V. Merrett
Type: Conference or Workshop Item
| 2016
Type: Conference or Workshop Item
| 2016
Improving Learning of Electronic Engineering Skills through e-Learning: a Case Study - Geoff V. Merrett and Alun S. Vaughan
Type: Conference or Workshop Item
| 2016
Type: Dataset
| 2016
| University of Southampton
The characteristics and application of anthropomorphic interface: a design spectrum - Nooralisa Mohd Tuah, Gary Wills and Ashok Ranchhod
Type: Conference or Workshop Item
| 2016
Matching learning material to people with disabilities based on competence and functional capability - Sasithorn Mongkolsripattana, Mike Wald and Gary Wills
Type: Conference or Workshop Item
| 2016
Applicability of Big Data techniques to Smart Cities deployments - M. Victoria Moreno, Fernando Terroso-Sáenz, Aurora González-Vidal, Mercedes Valdés-Vela, Antonio F. Skarmeta, Miguel A. Zamora and Victor Chang
Type: Article
| 2016
N
Model and experimental development for business data science - Russell Newman, Victor Chang, Robert Walters and Gary Wills
Type: Article
| 2016
Type: Article
| 2016
Defragmentation for efficient runtime resource management in NoC-based many-core systems - J. Ng, A. Singh, X. Wang and T. Mak
Type: Article
| 2016
| Item not available on this server.
Lazy sequentialization for the safety verification of unbounded concurrent programs - Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2016
O
Impact of aging phenomena on Latches’ robustness - Martin Omana, Daniele Rossi, TusharaSandeep Edara and Cecilia Metra
Type: Article
| 2016
P
Mining survey data for SWOT analysis - Boonyarat Phadermrod
Type: Thesis
| 2016
| University of Southampton
R
Towards Performance Evaluation of Cloud Service Providers for Cloud Data Security - Muthu Ramachandran and Victor Chang
Type: Article
| 2016
Big data reduction framework for value creation in sustainable enterprises - Muhammad Habib ur Rehman, Victor Chang, Aisha Batool and Ying Wah Teh
Type: Article
| 2016
Secure searching on cloud storage enhanced by
homomorphic indexing - Shu Qin Ren, Ben Hong Meng Tan, Sivaraman Sundaram, Taining Wang, Yibin Ng, Victor Chang and Mi Mi Aung Khin
Type: Article
| 2016
Reliable power gating with NBTI aging benefits - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article
| 2016
IDAC: A Sensor-Based Model for Presence Control and Idleness Detection in Brazilian Companies - Gustavo Rostirolla, Rodrigo da Rosa Righi, Eduardo Souza dos Reis, Gabriel Fischer, Victor Chang and Muthu Ramachandran
Type: Conference or Workshop Item
| 2016
S
Type: Dataset
| 2016
| University of Southampton
Extending Code Generation to Support Platform-Independent Event-B Models - Asieh Salehi Fathabadi, Michael Butler and Colin Snook
Type: Conference or Workshop Item
| 2016
| Item availability restricted.
Integrating Formal Verification and Simulation of Hybrid Systems - Vitaly Savicks
Type: Thesis
| 2016
EEVi –Framework and Guidelines to Evaluate the Effectiveness of Cyber-Security Visualization - Aneesha Sethi, Federica Paci and Gary Wills
Type: Article
| 2016
Learning transfer-based adaptive energy minimization in embedded systems - Rishad Ahmed Shafik, Sheng Yang, Anup K. Das, Luis Alfonso Maeda-Nunez, Geoff V. Merrett and Bashir Al-Hashimi
Type: Article
| 2016
Experimental validation of opportunistic direct interconnection between different wireless sensor networks - Krongboon Singhanat, Nicholas Harris and Geoff Merrett
Type: Conference or Workshop Item
| 2016
| IEEE
Type: Dataset
| 2016
| University of Southampton
Using Event-B and Modelica to evaluate thermal management strategies in many core systems - Colin Snook and Tomasz Kazmierski
Type: Book Section
| 2016
| IEEE
Modelling complex timing requirements with refinement - Gintautas Sulskus, Michael Poppleton and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2016
| IEEE
Efficient location privacy algorithm for Internet of Things (IoT) services and applications - Gang Sun, Victor Chang, Muthu Ramachandran, Zhili Sun, Gangmin Li, Hongfang Yu and Dan Liao
Type: Article
| 2016
L2P2: A location-label based approach for privacy preserving in LBS - Gang Sun, Dan Liao, Hui Li, Hongfang Yu and Victor Chang
Type: Article
| 2016
User-Defined Privacy Location-Sharing System in Mobile Online Social Networks - Gang Sun, Yuxia Xie, Dan Liao, Hongfang Yu and Victor Chang
Type: Article
| 2016
T
Type: Dataset
| 2016
| University of Southampton
Towards knowledge modeling and manipulation technologies: a survey - Bimba Andrew Thomas, Norisma Idris, Ahmed Al-Hnaiyyan, Rohana Binti Mahmud, Ahmed Abdelaziz, Suleman Khan and Victor Chang
Type: Article
| 2016
MU-CSeq 0.4: individual memory location unwindings: (competition contribution) - Ermenegildo Tomasco, Truc Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2016
Embedding weak memory models within eager sequentialization - Ermenegildo Tomasco, Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Monograph
| 2016
| University of Southampton
Separating computation from communication:
a design approach for concurrent program verification - Ermenegildo Tomasco, Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Monograph
| 2016
| University of Southampton
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions - Ermenegildo Tomasco, Truc Nguyen Lam, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2016
| FMCAD Association
U
A circuit model for defective bilayer graphene transistors - Ime Umoh, Zakaria Moktadir, Tomasz Kazmierski and Hiroshi Mizuta
Type: Article
| 2016
V
Computationally Efficient Privacy Preserving Anonymous Mutual and Batch Authentication Schemes for Vehicular Ad Hoc Networks - P. Vijayakumar, Victor Chang, L. Jegatha Deborah, Balamurugan Balusamy and P.G. Shyn
Type: Article
| 2016
| Item availability restricted.
W
Evaluation of technology for enhanced accessible interaction framework for local Thai museums - Michael Wald, Kewalin Angkananon and Lester Gilbert
Type: Conference or Workshop Item
| 2016
| Item not available on this server.
Type: Dataset
| 2016
| University of Southampton
Type: Dataset
| 2016
| University of Southampton
Thermally-aware composite run-time CPU power models - Matthew J. Walker, Stephan Diestelhorst, Andreas Hansson, Domenico Balsamo, Geoff V. Merrett and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2016
pipsCloud: high performance cloud computing for remote sensing big data management and processing - Lizhe Wang, Yan Ma, Jining Yan, Victor Chang and Albert Y. Zomaya
Type: Article
| 2016
On fine-grained runtime power budgeting for networks-on-chip systems - X. Wang, B. Zhao, T. Mak, M. Yang, Y. Jiang and M. Daneshtalab
Type: Article
| 2016
| Item not available on this server.
A pareto-optimal runtime power budgeting scheme for many-core systems - X. Wang, B. Zhao, L. Wang, T. Mak, M. Yang and M. Daneshtalab
Type: Article
| 2016
| Item not available on this server.
Towards a trust model in e-learning - Woraluck Wongse-Ek
Type: Thesis
| 2016
Y
Directory-based incentive management services for ad-hoc mobile clouds - Abdullah Yousafzai, Victor Chang, Abdullah Gani and Rafidah Md Noor
Type: Article
| 2016
Multimedia augmented m-learning: issues, trends and open challenges - Abdullah Yousafzai, Victor Chang, Abdullah Gani and Rafidah Md Noor
Type: Article
| 2016
Computational offloading mechanism for native and android runtime based mobile applications - Abdullah Yousafzai, Abdullah Gani, Rafidah Md Noor, Anjum Naveed, Raja Wasim Ahmad and Victor Chang
Type: Article
| 2016
Z
A content-linking-context model for “notice-and-takedown” procedures - Pei Zhang, Sophie Stalla-Bourdillon and Lester Gilbert
Type: Conference or Workshop Item
| 2016
| Association for Computing Machinery
| Item availability restricted.