Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2012
|Up a level|
Cirstea, Corina, Seisenberger, Monika and Wilkinson, Toby (eds.) (2012) CALCO Young Researchers Workshop: CALCO-jnr 2011, 29 August 2011: selected papers, Southampton, GB, University of Southampton, 68pp.
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2012) Citizen adoption of E-government services. In, International Conference on Information Society (i-Society 2012), London, GB, 6pp, 182-187.
Ali, Mustafa (2012) Design considerations of harvested-energy management. University of Southampton, Faculty of Physical and Applied Sciences, Doctoral Thesis , 232pp.
Alwabel, Abdulelah, Walters, Robert John and Wills, Gary (2012) Towards a volunteer cloud architecture. At UKPEW 2012 (the UK Performance Engineering Workshop), Edinburgh, GB, 2pp.
Alwabel, Abdulelah, Walters, Robert John and Wills, Gary (2012) Towards performance evaluation in Volunteer Clouds. In, European Conference on Service-Oriented and Cloud Computing (ESOCC2012), 19 - 21 Sep 2012.
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Emergence of Agile Methods: Perceptions from Software Practitioners in Malaysia. In, International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India, 17 - 19 Feb 2012. (Submitted).
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Factor Analysis: Investigating Important Aspects for Agile Adoption in Malaysia. In, International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India, 17 - 19 Feb 2012. (Submitted).
Bruni, Roberto, Hernan, Melgratti, Ugo, Montanari and Pawel, Sobocinski (2012) Connector algebras for C/E and P/T nets interactions. Logical Methods in Computer Science (Submitted).
Butler, Michael (2012) External and internal choice with event groups in Event-B. [in special issue: Celebrating the 60th Birthday of Carroll Morgan] FORMAL ASPECTS OF COMPUTING, 24, (4-6), 555-567. (doi:10.1007/s00165-012-0239-2).
Chang, Victor, Walters, Robert and Wills, Gary (2012) Business Integration as a Service. International Journal of Cloud Applications and Computing, 2, (1), 16-40.
Chen, Taihai, Mazomenos, Evangelos B. , Maharatna, Koushik, Dasmahapatra, Srinandan and Mahesan, Niranjan (2012) On the trade-of of accuracy and computational complexity for classifying normal and abnormal ECG in remote CVD monitoring systems. In, Proceedings of 2012 IEEE Workshop on Signal Processing Systems (SiPS). IEEE Workshop on Signal Processing Systems Quebec City, CA, Institute of Electrical and Electronics Engineers , 37-42. (doi:10.1109/SiPS.2012.43).
Demain, Sara H., Cunningham, Sarah, Metcalf, Cheryl D., Zheng, Deyi and Merrett, Geoff V. (2012) A narrative review on haptic devices: relating the physiology and psychophysical properties of the hand to devices for rehabilitation in central nervous system disorders. Disability and Rehabilitation: Assistive Technology
Edmunds, Andrew, Butler, Michael, Maamria, Issam, Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. In, ABZ 2012, Pisa, IT, 19 - 21 Jun 2012. 4pp.
Edmunds, Andrew, Colley, John and Butler, Michael (2012) Building on the DEPLOY legacy: code generation and simulation. In, DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B (Submitted).
Edmunds, Andrew, Lovell, Chris, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Code generation update. In, Rodin User and Developer Workshop, Fontainebleau, FR, 27 - 29 Feb 2012. 2pp.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. In, Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm, SE, 11 - 15 Jun 2012. 14pp.
Ejlali, Alireza, Al-Hashimi, Bashir and Eles, Petru (2012) Low-Energy Standby-Sparing for Hard Real-Time Systems. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 31, (3), Autumn Issue, 329-342.
Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2012) Security Analysis of Role-based Access Control through Program Verification. In, 25th IEEE Computer Security Foundations Symposium (CSF) 13pp, 113-125.
Ghosh, Shaona and Gunn, Steve (2012) Towards potential-based learning for pareto trade-offs in on-line prediction with experts. At Women in Machine Learning 2012, Lake Tahoe, Nevada, USA, 03 Dec 2012.
Gondal, Ali (2012) Modelling ATM case study in event-B. Pre-print
Gondal, Ali (2012) Production cell case study in event-B. ,
Grange , Simon , Qi , Liping , Frank , Cy , Ferguson-Pell , Martin , Holloway , Catherine , Taylor , Stephen , Wills, Gary and Tyler , Nick (2012) Establishing Translational Research Pipelines for Smart Devices. In, IFESS 2012 conference; Smart Machines – Neural Evolution , Banff, Alberta, Canada, 5pp.
Harnad, Stevan (2012) Publisher wheeling and dealing: open access via national and global McNopoly? Open Access Archivangelism
Huang, Hui, Merrett, Geoff V. and White, Neil M. (2012) Design of a linearized magnetic spring for body-worn inertial energy harvesters. In, International Workshop on Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters (EnHaNSS'12), Antwerp, BE, 11 - 14 Jun 2012. 4pp.
Jones, Gareth, Lovell, Chris, Gunn, Steve, Morgan, Hywel and Zauner, Klaus-Peter (2012) Enabling the Discovery of Computational Characteristics of Enzyme Dynamics. IEEE WCCI CEC 2012
Kazmierski, Tom, Merrett, Geoff V., Wang, Leran, Al-Hashimi, Bashir, Weddell, Alex S. and Ayala Garcia, Ivo (2012) Modeling of Wireless Sensor Nodes Powered by Tunable Energy Harvesters: HDL-Based Approach. IEEE Sensors Journal, 12, (8), 2680-2689. (doi:10.1109/JSEN.2012.2196037).
La Torre, Salvatore and Gennaro, Parlato (2012) Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. In, 32nd Foundations of Software Technology and Theoretical Computer Science Conference (FSTTCS), Hyderabad, IN, 15 - 17 Dec 2012. University of Southampton12pp, 173-184.
La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2012) Sequentializing parameterized programs. In, 4th International Workshop on Foundations of Interface Technologies 21pp.
Li, Yunjia, Wald, Mike and Wills, Gary (2012) Applying Linked Data in Multimedia Annotations. International Journal of Semantic Computing (IJSC) Special Issue on Semantic Multimedia, 6, (3), 289-313. (doi:10.1142/S1793351X12400090).
Lovell, Chris (2012) Active learning for discovery in the laboratory: characterising biomolecular systems. ALRA: Active Learning in Real-world Applications, Bristol, GB, 28 Sep 2012.
Lovell, Chris, Edmunds, Andy, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Ensuring extensibility within code generation. In, Rodin User and Developer Workshop, Fontainebleau, FR, 27 - 29 Feb 2012.
Lovell, Chris and Gunn, Steve (2012) Towards Improved Theoretical Problems for Autonomous Discovery. IEEE WCCI IJCNN 2012
Lovell, Chris, Jones, Gareth, Zauner, Klaus-Peter and Gunn, Steve R., Glowacka, Dorota, Dorard, Louis and Shawe-Taylor, John (eds.) (2012) Exploration and exploitation with insufficient resources. [in special issue: Proceedings of the Workshop on On-line Trading of Exploration and Exploitation 2, July 2, 2011, Bellevue, Washington, USA] JMLR: Workshop and Conference Proceedings, 26, 37-61.
Mazomenos, Evangelos, Chen, Taihai, Acharyya, Amit, Bhattacharya, Arnab, Rosengarten, James and Maharatna, Koushik (2012) Time-domain morphology and gradient based algorithm for ECG feature extraction. In, Proceedings of 2012 IEEE International Conference on Industrial Technology (ICIT). IEEE International Conference on Industrial Technology Piscataway, United States, Institute of Electrical and Electronics Engineers, 117-122. (doi:10.1109/ICIT.2012.6209924).
Merrett, Geoff V. and Weddell, Alex S. (2012) Supercapacitor leakage in energy-harvesting sensor nodes: fact or fiction? In, International Workshop Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters 2012 (EnHaNSS'12), Antwerp, BE, 11 Jun 2012. 5pp.
Mistry, Jatin, Myers, James, Al-Hashimi, Bashir, Flynn, David and Biggs, John (2012) Active Mode Sub-Clock Power Gating. IEEE Transactions on Very Large Scale Integration (VLSI) Systems (Submitted).
Mistry, Jatin N., Biggs, John, Myers, James, Al-Hashimi, Bashir M. and Flynn, David (2012) dRail: a novel physical layout methodology for power gated circuits. In, Power and Timing Modelling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne, GB, 04 - 06 Sep 2012. 10pp.
Mistry, Jatin N. and Myers, James (2012) An ARM Cortex-M0 for Energy Harvesting Systems: A Novel Application of UPF with Synopsys’ Galaxy Platform. In, Synopsys User's Group (SNUG) 2012, Silicon Valley, CA, Santa Clara County, US,
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces. 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, UY, 14 - 18 Nov 2011. 30pp.
Moss-Morris, Rona , McCrone, Paul , Yardley, Lucy, van Kessel, Kirsten , Wills, Gary and Dennison , Laura K. (2012) A pilot randomised controlled trial of an internet-based cognitive behavioural therapy self-management programme (MS Invigor8) for multiple sclerosis fatigue. Behaviour Research and Therapy, 50, (6), 415-421. (doi:10.1016/j.brat.2012.03.001). (PMID:22516321).
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2012) Competence Web-based System for Suggesting Study Materials Links: Approach & Experimental Design. In, EdMedia 2012 - World Conference on Educational Media and Technology, Denver, CO, USA,
Paolo, Baldan, Andrea, Corradini, Tobias, Heindel, Barbara, Koenig and Pawel, Sobocinski (2012) Processes and unfoldings: concurrent computations in adhesive categories. Mathematical Structures in Computer Science
Parker, Marlon, Wills, Julia, Aanhuizen , Lucille , Gilbert, Lester and Wills, Gary (2012) Mobile instant messaging used to provide support and advice to South African youth. International Journal of ICT Research and Development in Africa (IJICTRDA)
Parker, Marlon, Wills, Julia and Wills, Gary (2012) RLABS: A SOUTH AFRICAN PERSPECTIVE ON A COMMUNITY-DRIVEN APPROACH TO COMMUNITY INFORMATICS. Journal of Community Informatics
Poppleton, Michael R. and Merrett, Geoff V. (2012) Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks. In, Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, Switzerland, 2pp.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2012) Toward a Framework for Localisation of Product Software across Organisational Boundaries.
Qahtani, Abdulrahman , Gary, Wills and Andrew, Gravell (2012) Toward a framework for development and specialisation of product software across organisational boundaries. In, International Conference on Information Society (i-Society 2012), London, GB, 5pp.
Qahtani, Abdulrahman , Gravell, Andrew and Wills, Gary (2012) Toward a framework for software development across organisational boundaries. In, PhD Symposium in 13th International Conference on Agile Software Development (XP2012), Malmo, Sweden, 21 - 25 May 2012. 4pp.
Said, Mar Yah (2012) ATM Case study models - UML-B/Event-B. [dataset]
Sarshogh, Mohammad Reza (2012) AppendixC: Event-B Model of the Message Passing Case-study (Manual). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendix_Gear Controller Case-study(Plugin1). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendix_Gear Controller Case-study(Plugin2). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendixes-Gear Controller Case-study (Time Added Manually). , University of Southampton
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2012) An Equivalent Architecture of Learner's and Instructor's Knowledge through the Matching of Intended Learning Outcome. In, 5th World Summit on the Knowledge Society, Rome, Italy, 20 - 22 Jun 2012.
Tinati, Ramine, Carr, Les, Hall, Wendy and Bentwood, Johnny (2012) Scale Free: Twitter’s Retweet Network Structure. At Network Science 2012, Evanston, US,
Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa, Madhusudan, P. and UNSPECIFIED (2012) Analyzing temporal role based access control models. 17th ACM Symposium on Access Control Models and Technologies, SACMAT '12, 177 -186.
Walters, Robert John, Crouch, Stephen and Bennett, Phillip (2012) Building computational grids using ubiquitous web technologies. In, 13th IFIP Working Conference on Virtual Enterprises, Bournemouth, Borough of, GB, 01 - 03 Oct 2012. 8pp.
Wang, Yangang, Zwolinski, Mark, Appleby, Andrew, Scoones, Mark, Caldwell, Sonia, Azam, Touqeer, Hurat, Philippe and Pitchford, Chris (2012) Analysis, quantification, and mitigation of electrical variability due to layout dependent effects in SOC designs. In, Mason, Mark E. (ed.) Design for Manufacturability through Design-Process Integration VI. Bellingham, US, The International Society for Optical Engineering, 83270F. (Proceedings of SPIE, 8327). (doi:10.1117/12.916458).
Weddell, Alex S., Merrett, Geoff V., Barrow, Stuart and Al-Hashimi, Bashir M. (2012) Vibration-powered sensing system for engine condition monitoring. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. 5pp.
Weddell, Alex S., Zhu, Dibin, Merrett, Geoff V., Beeby, S.P. and Al-Hashimi, B.M. (2012) A practical self-powered sensor system with a tunable vibration energy harvester. In, PowerMEMS 2012, Atlanta, US, 02 - 05 Dec 2012. 4pp. (Submitted).
Whitelock, Denise M., Gilbert, Lester, Hatzipanagos, Stylianos, Watt, Stuart, Zhang, Pei, Gillary, Paul and Recio, Alejandra (2012) Addressing the Challenges of Assessment and Feedback in Higher Education: A collaborative effort across three UK Universities. In, INTED 2012, Valencia, Spain,
Wood, Alex L., Merrett, Geoff V., Gunn, Steve R., Al-Hashimi, Bashir M., Shadbolt, Nigel R and Hall, Wendy (2012) Adaptive sampling in context-aware systems: a machine learning approach. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. 5pp.
Wood, Alex L., Merrett, Geoff V., de Jager, Dirk, Al-Hashimi, Bashir M., O'Hara, Kieron, Shadbolt, Nigel R. and Hall, Wendy (2012) DejaView: Help with memory, when you need it. In, SenseCam 2012: Third Annual Symposium, Oxford, UK, 03 - 04 Apr 2012. 20pp.
Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents. In, 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)., Paris, FR, 18 - 20 Jul 2012. 10pp. (Submitted).
Yu, Tai-Tuck, Scanlan, James, Crowder, Richard and Wills, Gary (2012) Approaches to modeling the gas-turbine maintenance process. Journal of Computing and Information Science in Engineering, 12, (1), 011007.
Zilli, D. and Merrett, G.V. (2012) Design and comparative analysis of single-path and epidemic approaches to information and energy management in wireless sensor networks. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. 5pp.
Zuo, X., Perez-Andrade, I., Maunder, R. G., Al-Hashimi, B. M. and Hanzo, L. (2012) Improved Stochastic LDPC Decoder for Correcting Both Channel-Induced Transmission Errors and Clock-Scaling-Induced Timing Errors. IEEE Transactions on Circuits and Systems I Regular Papers (Submitted).