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 2016

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

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

Type: Book | 2016 | INSTICC

Type: Book | 2016 | INSTICC

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

Data security in cloud computing - Ahmed Albugmi, Madini Alassafi, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2016 | IEEE

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 | Item availability restricted.

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

Towards a framework to enable the migration process to eduactional clouds in Saudi higher education - Abdulrahman, Ayad Alharthi, Madini, Obad Alassafi, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2016 | Item availability restricted.

Modeling guidelines of FreeRTOS in Event-B - Eman Alkhammash, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2016 | Item not available on this server.

Gamifying self-management of chronic illnesses: amixed-methods study - Alaa Almarshedi, Gary Wills and Ashok Ranchhod
Type: Article | 2016

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 | Item availability restricted.

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

Type: Article | 2016

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

Immersion and narrative design in educational games across cultures - James Baker, Vanissa Wanick Vieira, Mashael Asiri, Gary Wills and Ashok Ranchhod
Type: Book Section | 2016 | Springer | Item availability restricted.

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

Type: Conference or Workshop Item | 2016

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

Type: Thesis | 2016

Rewriting modulo symmetric monoidal structure - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2016 | ACM

The calculus of signal flow diagrams I: linear relations on streams - Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi
Type: Article | 2016

Lawvere theories as composed PROPs - Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi
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

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

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

Type: Article | 2016

Type: Article | 2016

Type: Article | 2016

Review of Economic Bubbles - Victor Chang, Russell Newman, Robert Walters and Gary Wills
Type: Article | 2016

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

Type: Article | 2016

Type: Article | 2016

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

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.

A categorical approach to open and interconnected dynamical systems - Brendan Fong, Pawel Sobocinski and Paolo Rapisarda
Type: Conference or Workshop Item | 2016

Towards empirical evaluation of automated risk assessment methods - Olga Gadyatskaya, Katsiaryna Labunets and Federica Paci
Type: Conference or Workshop Item | 2016

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.

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

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

Model for the adoption of telemedicine in Sri Lanka - Dayani Jayasinghe, Richard Crowder and Gary Wills
Type: Article | 2016

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

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

Type: Article | 2016

Scope-Bounded Pushdown Languages - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Article | 2016

Type: Article | 2016

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.

IP protection of mesh NoCs using square spiral routing - Q. Liu, W. Ji, Q. Chen and T. Mak
Type: Article | 2016 | Item not available on this server.

Type: Article | 2016

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.

Type: Conference or Workshop Item | 2016

Type: Conference or Workshop Item | 2016

Type: Conference or Workshop Item | 2016

Type: Conference or Workshop Item | 2016

Type: Conference or Workshop Item | 2016

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

Model and experimental development for business data science - Russell Newman, Victor Chang, Robert Walters and Gary Wills
Type: Article | 2016

Web 2.0 – The past and the future - Russell Newman, Victor Chang, Robert Walters and Gary Wills
Type: Article | 2016

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

Impact of aging phenomena on Latches’ robustness - Martin Omana, Daniele Rossi, TusharaSandeep Edara and Cecilia Metra
Type: Article | 2016

Type: Thesis | 2016 | University of Southampton

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

Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
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

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.

Type: Thesis | 2016

Type: Article | 2016

Learning transfer-based adaptive energy minimization in embedded systems - Rishad Ahmed Shafik, Anup K. Das, Luis Alfonso Maeda-Nunez, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Article | 2016

Cloud-based emerging services systems - Sugam Sharma, Victor Chang, U. Sunday Tim, Johnny Wong and Shashi Gadia
Type: Article | 2016

Type: Article | 2016

On the analysis of big data indexing execution strategies - Aisha Siddiqa, Ahmad Karim, Tanzila Saba and Victor Chang
Type: Article | 2016

Type: Conference or Workshop Item | 2016 | IEEE

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

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

A circuit model for defective bilayer graphene transistors - Ime Umoh, Zakaria Moktadir, Tomasz Kazmierski and Hiroshi Mizuta
Type: Article | 2016

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.

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

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.

Type: Thesis | 2016

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

A content-linking-context model for “notice-and-takedown”procedures - Pei Zhang, Sophie Stalla-Bourdillon and Lester Gilbert
Type: Conference or Workshop Item | 2016 | ACM New York, NY, USA | Item availability restricted.

This list was generated on Tue Nov 13 01:30:14 2018 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 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.

×