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 2014
 | Up a level |
Number of items: 116.
Type: Book
| 2014
| Springer
| Item not available on this server.
Type: Book
| 2014
| Scitepress
| Item not available on this server.
Type: Book
| 2014
| University of Southampton
Preventing document leakage through active document - Zeyad S. Aaber, Richard M. Crowder, Nawfal F. Fadhel and Gary B. Wills
Type: Conference or Workshop Item
| 2014
Identifying Factors Affecting the Intention of Saudi Arabian Citizens to Adopt E-government Services - Sulaiman Alateeyah, Richard Crowder and Gary B. Wills
Type: Article
| 2014
Citizen intention to adopt e-government services in Saudi Arabia - Sulaiman Alateyah, Victor Chang, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2014
Towards a systematic process for modelling complex systems in event-B - Eman Alkhammash
Type: Thesis
| 2014
An investigation of factors influencing an organisation's intention to adopt cloud computing - Nouf Alkhater, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2014
Factors influencing an organisation's intention to adopt cloud computing in Saudi Arabia - Nouf Alkhater, Gary Wills and Robert Walters
Type: Conference or Workshop Item
| 2014
The investigation of security issues in agile methodologies - Ahmed Alnatheer
Type: Thesis
| 2014
The design considerations for gamifying agile project management systems for Arabic cultures - Noura Alomar, Vanissa Wanick Vieira and Gary B. Wills
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
Investigating factors for E-knowledge sharing amongst academic staff - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2014
Type: Conference or Workshop Item
| 2014
Routing in intended learning outcome networks - Teresa Binks
Type: Thesis
| 2014
Recognition of upper limb movements for remote health monitoring - Dwaipayan Biswas
Type: Article
| 2014
Recognition of elementary arm movements using orientation of a tri-axial accelerometer located near the wrist - Dwaipayan Biswas, Daniele Corda, Giovanni Baldus, Andy Cranny, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jöbges and Steffen Ortmann
Type: Article
| 2014
Recognition of elementary upper limb movements in an activity of daily living using data from wrist mounted accelerometers - Dwaipayan Biswas, Andy Cranny, Nayaab Gupta, Koushik Maharatna and Steffen Ortmann
Type: Conference or Workshop Item
| 2014
Movement fluidity of the impaired arm during stroke rehabilitation - Dwaipayan Biswas, Andy Cranny, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jöbges and Steffen Ortmann
Type: Conference or Workshop Item
| 2014
On the sensor choice and data analysis for classification of elementary upper limb movements - Dwaipayan Biswas, Andy Cranny, Ahmed Rahim, Nayaab Gupta, Nick Harris, Koushik Maharatna and Steffen Ortmann
Type: Conference or Workshop Item
| 2014
Advanced SIMD: extending the reach of contemporary SIMD architectures - Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli and Alastair Reid
Type: Conference or Workshop Item
| 2014
Artifact reduction in multichannel pervasive EEG using hybrid WPT-ICA and WPT-EMD signal decomposition techniques - Valentina Bono, Wasifa Jamal, Saptarshi Das and Koushik Maharatna
Type: Conference or Workshop Item
| 2014
Type: Conference or Workshop Item
| 2014
The business intelligence as a service in the cloud - Victor Chang
Type: Article
| 2014
Cloud Computing for brain segmentation – a perspective from the technology and evaluations - Victor Chang
Type: Article
| 2014
Consulting as a Service – demonstrated by Cloud Computing consultancy projects in the Greater China - Victor Chang
Type: Book Section
| 2014
| Nova Science Publishers
Introduction to the Risk Visualization as a Service - Victor Chang
Type: Conference or Workshop Item
| 2014
An Introductory Approach to Risk Visualization as a Service - Victor Chang
Type: Article
| 2014
Measuring and analyzing German and Spanish customer satisfaction of using the iPhone 4S Mobile Cloud service - Victor Chang
Type: Article
| 2014
Type: Book
| 2014
| Lambert Academic Publishing
A proposed case for the Cloud Software Engineering in Security - Victor Chang and Muthu Ramachandran
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Financial Clouds and modelling offered by Cloud Computing Adoption Framework - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section
| 2014
| Nova Science Publishers
Review of Cloud Computing and existing Frameworks for Cloud adoption - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section
| 2014
| Nova Science Publishers
Forward and inverse modelling approaches for prediction of light stimulus from electrophysiological response in plants - Shre Kumar Chatterjee, Sanmitra Ghosh, Saptarshi Das, Veronica Manzella, Andrea Vitaletti, Elisa Masi, Luisa Santopolo, Stefano Mancuso and Koushik Maharatna
Type: Article
| 2014
| Item availability restricted.
Co-simulation of Event-B and Ptolemy II Models via FMI - Jean-Charles Chaudemar, Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item
| 2014
“eCert” improving the security and controllability of digitally signed documents - Lisha Chen-Wilson, David Argles, Michele Schiano di Zenise and Gary Wills
Type: Book Section
| 2014
| Springer
| Item not available on this server.
A coalgebraic approach to linear-time logics - Corina Cirstea
Type: Conference or Workshop Item
| 2014
| Springer
Thermal optimization in network-on-chip-based 3D chip multiprocessors using dynamic programming networks - Nizar Dahir, Ra'ed Al-Dujaily, Terrence Mak and Alex Yakovlev
Type: Article
| 2014
| Item availability restricted.
Towards verified implementation of Event-B models in Dafny - Mohammad Sadegh Dalvandi and Michael Butler
Type: Conference or Workshop Item
| 2014
Reinforcement learning-based inter- and intra-application thermal optimization for lifetime improvement of multicore systems - Anup K. Das, Rishad Ahmed Shafik, Geoff V. Merrett, Bashir M. Al-Hashimi, Akash Kumar and Bharadwaj Veeravalli
Type: Conference or Workshop Item
| 2014
Control strategy for anaesthetic drug dosage with interaction among human physiological organs using optimal fractional order PID controller - Saptarshi Das, Sourav Das and Koushik Maharatna
Type: Conference or Workshop Item
| 2014
Type: Book Section
| 2014
| Springer
| Item availability restricted.
Evaluation of graphical control flow management approaches for Event-B modelling - Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item
| 2014
Code Generation – Tool Developments - A. Edmunds
Type: Conference or Workshop Item
| 2014
Avoiding programming for safety critical systems - Andrew Edmunds
Type: Monograph
| 2014
| University of Southampton
Templates for Event-B Code Generation - Andrew Edmunds
Type: Conference or Workshop Item
| 2014
On the Path-Width of Integer Linear Programming - Constantin Enea, Peter Habermehl, Omar Inverso and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
Transparent authentication methodology in electronic education - Nawfal Fadhel, David Argles, Richard M Crowder and Gary B. Wills
Type: Special issue
| 2014
Maintaining provenance throughout the additive manufacturing process - Nawfal Fadhel, Richard M. Crowder and Gary B. Wills
Type: Article
| 2014
| Item availability restricted.
Component for 3D printing provenance framework
security properties components for provenance framework - Nawfal F. Fadhel, Crowder Richard, Fatimah Y. Akeel and Wills Gary
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
VAC - verifier of administrative role-based access control policies - Anna Lisa Ferrara, P. Madhusudan, Truc Lam Nguyen and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
Profiling the educational value of computer games - Alex Frazer, Alejandra Recio, Lester Gilbert and Gary Wills
Type: Article
| 2014
A declarative and fine-grained policy language for the web
application domain - Seyed Hossein Ghotbi
Type: Thesis
| 2014
High throughput CDMA communication architecture for many cores systems - Basel Halak, Teng Ma and Wei Ximeng
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
Analytical calculation of multi-core multi-cluster architecture (MCMCA) - Norhazlina Hamid, Robert J. Walters and Gary B. Wills
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
Performance evaluation of multi-core multi-cluster architecture - Norhazlina Hamid, Robert John Walters and Gary Brian Wills
Type: Conference or Workshop Item
| 2014
Type: Thesis
| 2014
A formal co-simulation approach for wireless sensor network development - Adisak Intana, Michael R. Poppleton and Geoff V. Merrett
Type: Article
| 2014
| Item availability restricted.
Bounded model checking of multi-threaded c programs via lazy sequentialization - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
| Springer
Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution) - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Monograph
| 2014
| University of Southampton
Lazy-CSeq: a lazy sequentialization tool for C - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Lazy-CSeq: a lazy sequentialization tool for c (competition contribution) - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
Classification of autism spectrum disorder using supervised learning of brain connectivity measures extracted from synchrostates - Wasifa Jamal, Saptarshi Das, Ioana-Anastasia Oprescu, Koushik Maharatna, Fabio Apicella and Federico Sicca
Type: Article
| 2014
Enabling opportunistic energy trading between overlapping energy harvesting wireless sensor networks - Teng Jiang, Geoff V. Merrett and N.R. Harris
Type: Conference or Workshop Item
| 2014
Synthesis of application specific processor architectures for ultra-low energy consumption - T J Kazmierski and Charles Leech
Type: Conference or Workshop Item
| 2014
A novel approach for the diagnosis of ventricular tachycardia based on phase space reconstruction of ECG - George Koulaouzidis, Saptarshi Das, Grazia Cappiello, Evangelos Mazomenos, Koushik Maharatna and John Morgan
Type: Article
| 2014
Type: Conference or Workshop Item
| 2014
A unifying approach for multistack pushdown automata - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
StreetlightSim: a simulation environment to evaluate networked and adaptive street lighting - Sei Ping Lau, Geoff V. Merrett, Alex S. Weddell and Neil M. White
Type: Conference or Workshop Item
| 2014
Energy-neutral solar-powered street lighting with predictive and adaptive behaviour - Sei Ping Lau, Alex S. Weddell, Geoff V. Merrett and NM White
Type: Conference or Workshop Item
| 2014
Type: Article
| 2014
How children with autism spectrum disorder behave and explore the 4-dimensional (spatial 3D + time) environment during a joint attention induction task with a robot - Salvatore Maria Anzalone, Elodie Tilmont, Sofiane Boucenna, Jean Xavier, Anne-Lise Jouen, Nicolas Bodeau, Koushik Maharatna, Mohamed Chetouani and David Cohen
Type: Article
| 2014
| Item availability restricted.
Power efficient fault tolerant finite field multiplier - J. Mathew, A.S. Jabir, R.A. Shafik and D.K. Pradhan
Type: Book Section
| 2014
| Springer
| Item not available on this server.
An investigation into the accuracy of calculating upper body joint angles using MARG sensors - Evangelos Mazomenos, Andy Cranny, Dwaipayan Biswas, Nick Harris and Koushik Maharatna
Type: Conference or Workshop Item
| 2014
Case studies - Evangelos B. Mazomenos, Juan-Mario Rodriguez, Carlos-Cavero Barca, Gennaro Tartarisco, Giovanni Pioggia, Bozidara Cvetkovic, Simon Kozina, Hristijan Gjoreski, Mitja Lustrek, Hector Solar, Domen Marincic, Jure Lampe, Silvio Bonfiglio and Koushik Maharatna
Type: Book Section
| 2014
| Springer
Power droop reduction during Launch-On-Shift scan-based logic BIST - Martin Omana, Daniele Rossi, Edda Beniamino, Cecilia Metra, Chandra Tirumurti and Rajesh Galivanche
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Low-cost on-chip clock jitter measurement scheme - Martin Omana, Daniele Rossi, Daniele Giaffreda, Cecilia Metra, T.M. Mak, Asifur Raman and Simon Tam
Type: Article
| 2014
Anomaly detection system: towards a framework for enterprise log management of security services - Omer Ozulku, Nawfal Fadhel, David Argles and Gary Wills
Type: Conference or Workshop Item
| 2014
RLABS: Una perspectiva Sudafricana de Informática Comunitaria - Marlon Parker, Alejandra Recio, Gary B. Wills and Julia Wills
Type: Monograph
| 2014
| Universidad de Buenos Aires
Formal derivation of distributed MapReduce - Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis and Elena Troubitsyna
Type: Conference or Workshop Item
| 2014
Cloud Security proposed and demonstrated by Cloud Computing Adoption Framework - Muthu Ramachandran and Victor Chang
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Financial software as a service – a paradigm for risk modelling and analytics - Muthu Ramachandran and Victor Chang
Type: Article
| 2014
Type: Conference or Workshop Item
| 2014
Recommendations and best practices for Cloud enterprise security - Muthu Ramachandran and Victor Chang
Type: Conference or Workshop Item
| 2014
Type: Conference or Workshop Item
| 2014
Innovative Approach for Requirements Verification of Closed Systems - Jose Reis, Brett Bicknell, Michael Butler and John Colley
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
Clock faults induced min and max delay violations - Daniele Rossi, Martin Omana, Jose' Manuel Cazeaux and T.M. Mak
Type: Article
| 2014
| Item availability restricted.
Modeling and detection of hot-spot in shaded photovoltaic cells - Daniele Rossi, Martin Omana, Daniele Giaffreda and Cecilia Metra
Type: Article
| 2014
Impact of bias temperature instability on soft error susceptibility - Daniele Rossi, Martin Omana, Cecilia Metra and Alessandro Paccagnella
Type: Article
| 2014
Type: Conference or Workshop Item
| 2014
Applying an integrated modelling process to run-time management of many-core systems - Asieh Salehi Fathabadi, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2014
Co-simulating Event-B and continuous models via FMI - Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item
| 2014
Co-simulation environment for Rodin: landing gear case study - Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item
| 2014
Type: Conference or Workshop Item
| 2014
Type: Book Section
| 2014
| Springer
| Item not available on this server.
Type: Book Section
| 2014
| Springer
| Item not available on this server.
Design considerations for reliable embedded systems - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Book Section
| 2014
| Woodhead Publishing
| Item availability restricted.
Learning-based runtime management of energy-efficient and reliable many-core systems - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2014
Empirical Evaluation of OI-MAC: Direct Interconnection between Wireless Sensor Networks for Collaborative Monitoring - Krongboon Singhanat, Teng Jiang, Geoff V Merrett and Nick R. Harris
Type: Conference or Workshop Item
| 2014
Type: Book
| 2014
| Scholars' Press
| Item not available on this server.
DeSyRe: on-demand adaptive and reconfigurable fault-tolerant SoCs - Ioannis Sourdis, Christos Strydis, Antonino Armato, Christos-Savvas Bouganis, Babak Falsafi, Georgi Gaydadjiev, Sebastian Isaza, Alirad Malek, Riccardo Mariani, Dionisios N Pnevmatikatos, Dhiraj K Pradhan, Gerard Rauwerda, Robert Seepers, Rishad Ahmed Shafik, Kim Sunesen, Dimitris Theodoropoulos, Stavros Tzilis and Michail Vavouras
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
A low power and robust carbon nanotube 6T SRAM design with metallic tolerance - Luo Sun, Jimson Mathew, Rishad A. Shafik, D.K. Pradhan and Zhen Li
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
ILO diagram: a novel conceptual model of intended learning outcomes - Preecha Tangworakitthaworn
Type: Thesis
| 2014
A study of learners' understandability: experimental data - Preecha Tangworakitthaworn
Type: Monograph
| 2014
| University of Southampton
High quality testing of grid style power gating - Vasileios Tenentes, Syed Saqib Khursheed, Bashir M. Al-Hashimi, Shida Zhong and Sheng Yang
Type: Conference or Workshop Item
| 2014
MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution) - Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2014
Security analysis for temporal role based access control - Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato and P. Madhusudan
Type: Article
| 2014
Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in - Savicks Vitaly
Type: Conference or Workshop Item
| 2014
Advergames and meaningful experiences: towards a conceptual framework for contextual advergames for cross-cultural consumer behaviour - Vanissa Wanick Vieira, Ashokkumar Ranchhod and Gary Wills
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Effects and opportunities of mobile advergames into brand management and marketing: a content analysis - Vanissa Wanick Vieira, Ashokkumar Ranchhod and Gary B. Wills
Type: Conference or Workshop Item
| 2014
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems - Toby Wilkinson, Michael Butler and John Colley
Type: Conference or Workshop Item
| 2014
| Item not available on this server.
Design of control functions for an internet-based tele-robotic laboratory - Lasse Wollatz, Radovan Gallo, Dina S. Laila, Tochukwu C. Ofoegbu, Erik Kovalan, Suleiman M. Shark and Kenneth S. Thomas
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Calculating trustworthiness based on learning outcome - Woraluck Wongse-Ek, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
Towards trust and trust building in a selected Cloud gaming virtual community - Yulin Yao and Victor Chang
Type: Article
| 2014
From requirement document to formal modelling and
decomposition of control systems - Sanaz Yeganefard
Type: Thesis
| 2014
Resolving coreference and security issues of
linked data by focusing on OWL:SameAs: a method for similarity matching score on linked data - Muhammad Yousuf, Fatimah Y. Akeel, Nawfal F. Fadhel and Wills Gary
Type: Conference or Workshop Item
| 2014
| Item availability restricted.
A conceptual design for a teacher-learner framework for educational serious games - Amri Yusoff, Richard Crowder, Lester Gilbert and Gary Wills
Type: Article
| 2014
| Item availability restricted.