Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 2009
(Grouped by Creator/Authors Name)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | T | W | Y | Z
Number of items: 126.

A

Acharyya, A., Maharatna, K. and Al-Hashimi, B. (2009) HARDWARE REDUCTION METHODOLOGY FOR 2-DIMENSIONAL KURTOTIC FASTICA
BASED ON ALGORITHMIC ANALYSIS AND ARCHITECTURAL SYMMETRY.
In: IEEE Workshop on Signal Processing Systems, 7-9 October, 2009, Tampere, Finland . (In Press)

Acharyya, A., Maharatna, K., Al-Hashimi, B. and Gunn, S. (2009) Memory Reduction Methodology for Distributed-Arithmetic-Based DWT/IDWT Exploiting Data Symmetry. IEEE Transactions on Circuits and Systems- II: Express Briefs, 56 (4). pp. 285-289.

Acharyya, A., Maharatna, K., Sun, J., Al-Hashimi, B. and Gunn, S. (2009) Hardware Efficient Fixed-Point VLSI Architecture for 2D Kurtotic FastICA. In: 19th European Conference on Circuit Theory and Design , 23-27 August, 2009, Antalya, Turkey. pp. 165-168.

Ahmadi, A., Mangieri, E., Maharatna, K. and Zwolinski, M. (2009) Physical Realizable Circuit Structure For Adaptive Frequency Hopf Oscillator. In: NEWCAS-TAISA'09, 28 June-1July 2009, Toulouse, France.

Apampa, K. M., Wills, G. B. and Argles, D. (2009) Towards Security Goals in Summative E-Assessment Security. In: ICITST-2009, November 9-12, London, UK.

Apampa, K. M., Wills, G. B. and Argles, D. (2009) Towards Security Requirements in Online Summative Assessments. In: E-Learn 2009, October 26-30, Vancouver, BC Canada.

B

Baldan, P., Corradini, A., Heindel, T., K\"onig, B. and Soboci\'nski, P. (2009) Unfolding grammars in adhesive categories. In: Algebra and Coalgebra in Computer Science (CALCO `09), September 7-10, 2009, Udine, Italy. pp. 350-366.

Ball, E. and Butler, M. (2009) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In: Methods, Models and Tools for Fault Tolerance LNCS 5454, Springer. (In Press)

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Automatically Constructed Proofs. In: 4th System Safety Conference 2009, 26-28 October 2009, London, UK.

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Machine-Generated Proofs. In: Workshop on Proof-Carrying Code and Software Certification (PCC'09), August 15, 2009, Los Angeles, California, USA.

Butler, M. (2009) Decomposition Structures for Event-B. In: Integrated Formal Methods iFM2009, Springer, LNCS 5423.

Butler, M. (2009) Incremental Design of Distributed Systems with Event-B. In: Engineering Methods and Tools for Software Safety and Security - Marktoberdorf Summer School 2008, pp. 131-160, IOS Press.

Butler, M., Jones, C. B., Romanovsky, A. and Troubitsyna, E. (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 Springer.

C

Carbone, M., Sobocinski, P. and Valencia, F. D. (2009) Foreword: Festschrift for Mogens Nielsen's 60th birthday. THEORETICAL COMPUTER SCIENCE, 410 . pp. 4001-4005.

Chang, V. (2009) Cloud Storage Framework – An Integrated Technical Approach and Prototype for Breast Cancer. In: All Hands Meeting 2009, 7-9 December, 2009, Oxford.

Chen-Wilson, L., Blowers, R., Gravell, A. and Argles, D. (2009) Towards an secured e-Certificate System for use in e-Portfolios. In: International conference on Multimedia and Information and Communucation Technologies in Education (m-ICTE 2009), 2009 April 22-24, Lisbon, Portugal.

Cherrett, T., Wills, G., Price, J., Maynard, S. and Dror, I. E. (2009) Making Training More Cognitively Effective: Making Videos Interactive. British Journal of Educational Technology, 40 (6). pp. 1124-1134.

Cherrett, T., Gates, J. C., John, P., Holdaway-Salmon, L., Price, J., Wills, G. B. and Dror, I. E. (2009) Making laser safety training more cognitively effective: making training videos interactive and adaptive. In: International Laser Safety Conference (ILSC 2009), 23 - 26 Mar 200, Reno, USA 9.

Cirstea, C., Kupke, C. and Pattinson, D. (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. In: Computer Science Logic 2009. pp. 179-193.

Colley, J. and Butler, M. (2009) On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification. In: Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems, September 2009, Dagstuhl.

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: 6th IEEE International Conference on Embedded Systems and Software (ICESS-09).

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: The 6th International Conference on Embedded Software and Systems, May 25 - May 27, 2009 , HangZhou, Zhejiang, China.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. Technical Report , School of Electronics and Computer Science, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Technical Report , ECS, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

Crowder, R. M., Wong, S., Shadbolt, N. and Wills, G. (2009) KNOWLEDGE-BASED REPOSITORY TO SUPPORT ENGINEERING DESIGN. In: DETC 2008: proceedings of the ASME international design engineering technical conferences and computers and informational in engineering conference, Vol 3, Pts A and B . pp. 585-593., New York, NY. pp. 585-593.

Crowder, R., Wilson, M. L., Fowler, D., Shadbolt, N., Wills, G. and Wong, S. (2009) Navigation Over a Large Ontology for Industrial Web Applications. In: International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 30 August to 2 September 2009, San Diago, CA, USA.

D

Damchoom, K. and Butler, M. (2009) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. In: SBMF 2009, 19-21 August, Gramado, Brazil. pp. 134-152.

Darbari, A., Al Hashimi, B. M., Flynn, D. and Biggs, J. (2009) Selective State Retention Design using Symbolic Simulation. In: DATE 2009. (In Press)

Denney, E. and Fischer, B. (2009) A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. In: ASE. pp. 560-564.

Dhanjal, C., Gunn, S. R. and Shawe-Taylor, J. (2009) Efficient sparse kernel feature extraction based on partial least
squares.
IEEE Trans Pattern Anal Mach Intell, 31 . pp. 1347-61.

E

Egyed, A. and Fischer, B. (2009) Guest editors' introduction. AUTOMATED SOFTWARE ENGINEERING, 16 . pp. 1-2.

Ejlali, A., Al-Hashimi, B. and Eles, P. (2009) A standby-Sparing Technique with Low Energy-Overhead for Fault-Tolerant Hard Real-Time Systems. In: International Conference on Hardware/Software Codesign and System Synthesis, 11-16 Oct. 2009, Grenoble, France.

El Shabrawy, K., Maharatna, K., Bagnall, D. and Al-Hashimi, B. (2009) Modeling SWCNT Band-gap and Effective Mass Variation using a Monte Carlo Approach. IEEE Transactions on Nanotechnology . (Submitted)

El Shabrawy, K., Maharatna , K. and Al-Hashimi, B. (2009) Exploiting SWCNT Structural Variability Towards the Development of a Photovoltaic Device. Submitted to: International Symposium on Integrated Circuits (ISIC2009), 16/12/2009, Singapore. (Submitted)

El-Maleh, A., Al-Hashimi, B. and Melouki, A. (2009) Defect Tolerant N^2-Transistor Structure for Reliable Nanoelectronic Designs. IET Computers & Digital Techniques. (Submitted)

F

Fairman, M. J., Price, A. R., Xue, G., Molinari, M., Nicole, D. A., Lenton, T. M., Marsh, R., Takeda, K. and Cox, S. J. (2009) Earth System Modelling with Windows Workflow Foundation. Future Generation Computer Systems, 25 (5). pp. 586-597. ISSN 0167-739X

Ferrante, A., Parlato, G., Sorrentino, F. S. and Ventre, C. (2009) Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci., 410 (8-10). pp. 886-899.

Ferrara, A. L., Green, M., Hohenberger, S. and Pedersen, M. s. (2009) Practical Short Signature Batch Verification. In: Topics in Cryptology - The Cryptographers' Track at the RSA Conference, April 20-24, 2009, San Francisco, CA, USA. pp. 309-324.

Fischer, B., Saabas, A. and Uustalu, T. (2009) Program repair as sound optimization of broken programs. 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) . 165-73|xiii+333.

G

Gilbert, L., Gale, V., Wills, G. and Warburton, B. (2009) JISC Report on E-Assessment Quality (REAQ) in UK Higher Education. Technical Report , LSL, University of Southampton.

Gilbert, L. (2009) Re-purpose, Re-use: Reconsider. IEEE Learning Technology Newsletter, 11 (4). pp. 36-39. ISSN 1438-0625

Gondal, A., Poppleton, M. and Snook, C. (2009) Feature composition - towards product lines of Event-B models. In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), 24/06/2009, Enschede, The Netherlands.

Gough, J., Jones, G., Lovell, C., Macey, P., Morgan, H., Revilla, F., Spanton, R., Tsuda, S. and Zauner, K. P. (2009) Integration of Cellular Biological Structures Into Robotic Systems. Acta Futura, 3 . pp. 43-49.

Guan, T., Fowler, D., Bandara, A., Zaluska, E., De Roure, D., Crowder, R. and Wills, G. (2009) Enhancing Grid Service Discovery with a Semantic Wiki and the Concept Matching Approach. In: The 5th International Conference on Semantic, Knowledge and Grid, 10-12, Oct, 2009.

Guan, T., Fowler, D., Crowder, R., Shadbolt, N., Tao, F. and Wills, G. (2009) A Semantic System for Rapid Information Search and Access. In: European Semantic Web Conference 2009, 28 May - 4 June 2009, Heraklion, Greece.

Guan, T., Fowler, D., Crowder, R., Tao, F., Shadbolt, N. and Wills, G. (2009) A Semantic Matching Approach for Distributed RDF Data Query on a Knowledge Bus. In: The Third Chinese Semantic Web Symposium, 29-31, Aug, Nanjing, China.

H

Hare, J., Osmond, A., Yang , Y., Wills, G., Weal, M., De Roure, D., Joseph, J. and Yardley, L. (2009) LifeGuide: A 
platform for performing web-based behavioural interventions. In: WebSci'09: Society On-Line, 18-20 March 2009, Athens, Greece.

Heindel, T. and Soboci\'nski, P. (2009) Van Kampen colimits as bicolimits in Span. In: Algebra and Coalgebra in Computer Science (CALCO `09). pp. 335-349.

I

Ibrahim, R. (2009) A Conceptual Framework For Gender-Inclusivity. Other thesis, University of Southampton.

Ibrahim, R. (2009) Game Design Model for Gender-Inclusivity. In: Student Seminar, 25th February 2009, Learning Societies Lab, ECS, University of Southampton.

Ibrahim, R. (2009) Reading the Game:Game Simulation Development. Technical Report , Learning Societies Lab, University of Southampton.

Ibrahim, R. (2009) Reading the Game:Introduction to Video Game Design and Development. Technical Report , Learning Societies Lab, University of Southampton.

Ingelsson, U., Al-Hashimi, B. M., Khursheed, S., Reddy, S. M. and Harrod, P. (2009) Process Variation-Aware Test for Resistive Bridges. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28 (8). pp. 1269-1274. ISSN 0278-0070

J

Joseph, J. A., Yardley, L., Hare, J., Osmond, A., Yang , Y., Weal, M. and Wills, G. (2009) Application of the LifeGuide: The development and quantitative analysis of the 'Internet Doctor'. In: Proceedings 5th International Conference on e-Social Science, Cologne, Germany.

K

Kazmierski, T., Zhou, D. and Al-Hashimi, B. (2009) HSPICE implementation of a numerically efficient model of CNT transistor. Submitted to: Forum on Specification and Design Languages (FDL 2009), September 22-24, 2009, Germany. (Submitted)

Kazmierski, T., Zhou, D., Al-Hashimi, B. and Ashburn, P. (2009) Numerically efficient modeling of CNT transistors with ballistic and non-ballistic effects for circuit simulation. IEEE Transactions on Nanotechnology . (Submitted)

Khursheed, S. S. and Al-Hashimi, B. (2009) Test Strategies for Multi-Voltage Designs. In: Power-Aware Testing and Test Strategies for Low Power Devices, Springer. (In Press)

Khursheed, S. S., Al-Hashimi, B. and Harrod, P. (2009) Test Cost Reduction for Multiple-Voltage Designs with Bridge Defects through Gate-Sizing. In: Design, Automation and Test in Europe, April, 2009, Nice, France. (In Press)

Khursheed, S. S., Al-Hashimi, B., Reddy, S. M. and Harrod, P. (2009) Diagnosis of Multiple-Voltage Design with Bridge Defect. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,, 28 (3). pp. 406-416. ISSN 02780070

Klami, A., Kaski, S., Pasupa, K., Szedmak, S., Gunn, S., Hardoon, D. and Csurka, G. (2009) Predicting relevance of parts of an image. Technical Report D2.2, Teknillinen Korkeakoulu, PinView.

L

Li, Y., Wald, M., Khoja, S., Wills, G., Millard, D., Kajaba, J., Singh, P. and Gilbert, L. (2009) Synote: enhancing multimedia e-learning with synchronised annotation. In: Proceedings of the first ACM international workshop on Multimedia technologies for distance learning , pp. 9-18, ACM. ISBN 978-1-60558-757-8

Li, Y., Wald, M., Khoja, S., Wills, G., Millard, D., Kajaba, J., Singh, P. and Gilbert, L. (2009) Synote: Enhancing Multimedia E-Learning with Synchronised Annotation. In: UNSPECIFIED.

Lovell, C. J. and Zauner, K. P. (2009) Towards Algorithms for Autonomous Experimentation. In: Eighth International Conference on Information Processing in Cells and Tissues (IPCAT 2009), 5-9 April 2009, Ascona, Switzerland. pp. 150-152.

Lovell, C. J., Jones, G. and Zauner, K. P. (2009) Autonomous Experimentation: Coupling Machine Learning with
Computer Controlled Microfluidics.
In: ELRIG Drug Discovery, 7-8th September 2009, Liverpool.

M

Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A. (2009) On an Extensible Rule-based Prover for Event-B. Technical Report , Electronics & Computer Science, University of Southampton.

Maharatna, K., Ahmadi, A. and Magieri, E. (2009) Biologically inspired analogue signal processing: some results towards
developing next generation signal analyzers.
2009 12th International Symposium on Integrated Circuits (ISIC 2009) . pp. 542-5.

Maharatna, K., Ahmadi, A. and Mangieri, E. (2009) Biologically inspired analogue signal processing: some results towards developing next generation signal analysers. In: International Symposium on Integrated Circuits (ISIC2009), Singapore.

Meher, P., Valls, J., Juang, T. B., Sridharan, K. and Maharatna, K. (2009) 50 Years of CORDIC: Algorithms, Architectures, and Applications. IEEE Transactions on Circuits and Systems - I, 56 (9). pp. 1893-1907.

Melouki, A., Srivastava, S. and Al-Hashimi, B. (2009) Fault Tolerance Techniques for Hybrid CMOS/Nano Architecture. IET Computers & Digital Techniques . (In Press)

Merrett, G., White, N., Harris, N. and Al-Hashimi, B. (2009) Energy-Aware Simulation for Wireless Sensor Networks. In: Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2009), 22-26 June 2009, Rome, Italy.

Merrett, G. V., Peters, C., Hallett, G. and White, N. M. (2009) An Instrumented Crutch for Monitoring Patients' Weight Distribution during Orthopaedic Rehabilitation. In: Eurosensors XXIII, 06-09 September 2009, Lausanne, Switzerland.

Merrett, G. V. (2009) Energy- and Information- Managed Wireless Sensor Networks: Modelling and Simulation. PhD thesis, University of Southampton.

Millard, D., Howard, Y., Gilbert, L. and Wills, G. (2009) Co-design and Co-deployment Methodologies for Innovative m-Learning Systems. In: Multiplatform E-Learning Systems and Technologies: Mobile Devices for Ubiquitous ICT-Based Education, IGI Global.

Millard, D. E., Howard, Y., Abbas, N., Davis, H. C., Gilbert, L., Wills, G. B. and Walters, R. J. (2009) Pragmatic web service design: An agile approach with the service responsibility and interaction design method. Computer Science - Research and Development . ISSN 1865-2034 (Print) 1865-2042 (Online)

Mishra, B., Al-Hashimi, B. and Zwolinski, M. (2009) Variation Resilient Adaptive Controller for Subthreshold Circuits. In: DATE, 2009, 20-24 April, 2009, Nice, France. (In Press)

N

Nelson, J. D. B., Damper, R. I., Gunn, S. R. and Guo, B. (2009) A signal theory approach to support vector classification: The sinc kernel. Neural Networks, 22 (1). pp. 49-57.

Nitchot, A. (2009) Semantic Competency-Based System for Recommending Study Materials.

O

Osmond, A., Hare, J., Price, J., Smith, A., Weal, M., Wills, G., Yang , Y., Yardley, L. and De Roure, D. (2009) Designing authoring tools for the creation of on-line behavioural interventions. In: Proceedings 5th International Conference on e-Social Science, Cologne, Germany.

P

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2009) The design of effective feedback in computer-based sport training. In: 7th International Symposium on Computer Science in Sport, 22-25 September 2009, Canberra, Australia.

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2009) A Framework for Pedagogical Feedback in the Motor Skill Domain. In: The 9th IEEE International Conference on Advanced Learning Technologies, July 15-17, 2009, Riga, Latvia. pp. 37-39.

Parker, M. and Wills, G. (2009) Improving the knowledge exchange landscape in the Cape Flats, a developing community in South Africa. South African Journal of Information Management , 11 (3). ISSN 1560-683X

Pasupa, K., Saunders, C., Szedmak, S., Gunn, S., Hardoon, D., Klami, A., Kaski, S., Leung, A. and Auer, P. (2009) Ranking algorithms for implicit feedback. Technical Report D5.1, University of Southampton, PinView.

Pasupa, K., Saunders, C., Szedmak, S., Klami, A., Kaski, S. and Gunn, S. (2009) Learning to Rank Images from Eye Movements. In: Proceeding of 2009 IEEE 12th International Conference on Computer Vision (ICCV'2009) Workshop on Human-Computer Interaction (HCI'2009), 27 September - 4 October 2009, Kyoto, Japan. pp. 2009-2016.

R

Rathke, J. and Anderson, G. (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems. In: Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), 25th October 2009, Orlando, Florida.

Rathke, J. and Soboci\'nski, P. (2009) Making the unobservable, unobservable. In: Proceedings of ICE '08. pp. 131-144.

Read, N., Scanlan, J., Wills, G. and Halliday, S. (2009) Providing value to a business using a lightweight design system to support knowledge reuse by designers. In: International Conference on Engineering Design - ICED09, 24 - 27 Aug 2009. , Stanford, USA.

Reed, P. A. S., Starink, M. J., Gunn, S. R. and Sinclair, I. (2009) Adaptive numerical modelling and hybrid physically based ANM approaches
in materials engineering - a survey.
MATERIALS SCIENCE AND TECHNOLOGY, 25 . pp. 488-503.

Ripon, S. and Butler, M. (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electr. Notes Theor. Comput. Sci., 250 (2). pp. 103-118.

S

Said, M. Y., Butler, M. and Snook, C. (2009) Class and State Machine Refinement in UML-B. In: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009). (Unpublished)

Said, M. y., Butler, M. and Snook, C. (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. In: FM2009 - 16th International Symposium on Formal Methods, 2-6th November 2009, Eindhoven. pp. 579-595.

Savicks, V., Snook, C. and Butler, M. (2009) Animation of UML-B State-machines. Technical Report , ECS, University of Southampton. (Submitted)

Shafik, R. A. and Al-Hashimi, B. M. (2009) Comparative Reliability Analysis between AMBA and Network-on-Chip: An MPEG-2 Case Study. In: 22nd International System-on-Chip Conference (SOCC), Belfast, Northern Ireland. pp. 247-250.

Shafik, R. A., Al-Hashimi, B. M., Kundu, S. and Ejlali, A. (2009) Soft Error-Aware Voltage Scaling Technique for Power Minimization in Application-Specific MPSoC. Journal of Low Power Electronics (JOLPE), 5 (2). pp. 145-156.

Shahidipour, H., Ahmadi, A. and Maharatna, K. (2009) Effect of Variability in SWCNT-Based Logic Gates. In: International Symposium on Integrated Circuits (ISIC2009), 16/12/2009, Singapore.

Silva, R. and Butler, M. (2009) Supporting Reuse Mechanisms for Developments in Event-B: Composition. Technical Report , ECS, University of Southampton. (Unpublished)

Silva, R. and Butler, M. (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, December 9-12, 2009, Rio de Janeiro, Brazil.

Silva, R. and Butler, M. (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: International Conference on Formal Engineering Methods(ICFEM), December 07-12, 2010, Rio de Janeiro, Brazil.

Sitthisak, O. and Gilbert, L. (2009) Affordances of machine-processable competency modelling. In: Conference Cognition and Exploratory Learning in Digital Age, 2009, Rome, Italy.

Sitthisak, O. and Gilbert, L. (2009) Improving the pedagogical expressiveness of IMS LD. In: International conference on Technology Enhanced Learning Conference, 2009, Taipei, Taiwan..

Sitthisak, O., Gilbert, L. and Davis, H. (2009) Transforming a competency model to parameterised questions in assessment. WEBIST 2008, Lecture Notes in Business Information Processing, 18 . pp. 392-405.

Soboci\'nski, P. (2009) A non-interleaving process calculus for multi-party synchronisation. In: ICE '09.

Srivastava, S., Melouki, A. and Al-Hashimi, B. (2009) Defect Tolerance in Hybrid nano/CMOS Architecture using Tagging Mechanism. In: IEEE/ACM Symposium on Nanoscale Architectures, July 30-31, San Francisco, USA. (In Press)

Srivastava, S., Melouki, A. and Al-Hashimi, B. (2009) Repair Techniques for Hybrid Nano/CMOS Computational Architecture. In: IEEE Conference on Nanotechnology, IEEE NANO 2009, July 26-31, Genoa, Italy. (In Press)

Swabey, M., Chambers, P., Lutman, M. L., White, N. M., Chad, J. E., Brown, A. D. and Beeby, S. P. (2009) The biometric potential of transient otoacoustic emissions. International Journal of Biometrics (IJBM), 1 (3). pp. 349-364. ISSN 1755-831X

T

Tiropanis, T., Davis, H., Millard, D., Weal, M., White, S. and Wills, G. (2009) Semantic Technologies in Learning and Teaching (SemTech) - JISC Report.

Torre, S. L., Madhusudan, P. and Parlato, G. (2009) Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. In: CAV, June 26 - July 2, 2009, Grenoble, France. pp. 477-492.

Torre, S. L., Madhusudan, P. and Parlato, G. (2009) Analyzing recursive programs using a fixed-point calculus. In: PLDI, June 15-21, 2009, Dublin, Ireland. pp. 211-222.

W

Wald, M., Wills, G., Millard, D., Gilbert, L., Khoja, S., Kajaba, J. and Li, Y. (2009) Synchronised Annotation of Multimedia. In: : Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies (ICALT 2009), July 2009, Riga Latvia. pp. 594-596.

Wald, M., Wills, G., Millard, D., Gilbert, L., Khoja, S., Kajaba, J., Li, Y. and Singh, P. (2009) ENHANCING LEARNING USING SYNCHRONISED MULTIMEDIA ANNOTATION. In: EUNIS 2009: "IT: Key of the European Space for Knowledge", June 23rd to 26th, 2009, Santiago de Compostela, Spain.

Wang, L., Kazmierski, T., Al-Hashimi, B., Beeby, S. and Zhu, D. (2009) An automated design flow for vibration-based energy harvester systems. In: Design, Test and Automation in Europe (DATE 2009), 20-24 April 2009, Nice, France. pp. 1391-1396.

Weddell, A. S., Teacy, W. T. L., Grabham, N. J., Merrett, G. V., Harris, N. R., Rogers, A., White, N. M. and Jennings, N. R. (2009) Plug-and-Play Power Resources and Agent-Based Coordination for Energy-Aware Wireless Sensor Nodes. In: WiSIG Wireless Sensing Showcase 2009, July 2 2009, National Physical Laboratory, Teddington, UK.

Weddell, A. S., Merrett, G. V., Harris, N. R. and White, N. M. (2009) Energy Devices for Sensor Networks: Properties for Simulation and Deployment. In: Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology (Wireless VITAE); Special Session: Energy-Harvesting Wireless Sensor Networks, 17-20 May 2009, Aalborg, Denmark. pp. 26-30.

Wills, G., Bailey , C., Davis , H., Gilbert , L., Howard , Y., Jeyes, S., Millard , D., Price, J., Sclater, N., Sherratt , R., Tulloch , I. and Young , R. (2009) An E-Learning Framework for Assessment (FREMA). Assessment & Evaluation in Higher Education, 34 (3). pp. 273-292. ISSN 1469-297X

Wills, G., Davis, H., Gilbert, L., Hare, J., Howard, Y., Jeyes, S., Millard, D. and Sherratt, R. (2009) Delivery of QTIv2 question types. Assessment & Evaluation in Higher Education, 34 (3). pp. 353-366. ISSN 1469-297X

Wills, J., Parker, M. and Wills, G. (2009) Social and Community Informatics and Social Theories of Networks. Technical Report ECSTR-LSL09-001, Electronics and Computer Science, University of Southampton.

Y

Yadav, D. and Butler, M. (2009) Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B. In: Methods, Models and Tools for Fault Tolerance LNCS 5454, Springer. (In Press)

Yadav, D. and Butler, M. (2009) Verification of Liveness Properties in Distributed Systems. In: Second International Conference, IC3 2009, August 17-19, 2009, Noida, India.

Yang, L. and Poppleton, M. (2009) Java implementation platform for the integrated state- and event-based specification in PROB. Concurrency and Computation: Practice and Experience, 22 (8). pp. 1007-1022. ISSN 1532-0626

Yang, Y., Osmond, A., Chen, X., Weal, M., Wills, G., De Roure, D., Joseph, J. and Yardley, L. (2009) Supporting the running and analysis of trials of web-based behavioural interventions: the LifeGuide. In: 5th IEEE International Conference on e-Science, 7 -9th, Dec, 2009, Oxford, UK.

Yang, Y., Osmond, A., Weal, M., Wills, G., De Roure, D., Joseph, J. and Yardley, L. (2009) LifeGuide: An infrastructure for empowering behavioural intervention research. In: UK e-Science All Hands Meeting 2009, December 2009, Oxford, UK.

Yardley, L., Osmond, A., Hare, J., Wills, G., Weal, M., De Roure, D. and Michie, S. (2009) Introduction to the LifeGuide: software facilitating the development of interactive
behaviour change internet interventions.
In: Proceedings of the Persuasive Technology and Digital Behaviour Intervention Symposium. (AISB 2009), 6-9th April 2009, Edinburgh, Scotland.

Yusoff, A., Crowder, R., Gilbert, L. and Wills, G. (2009) A conceptual framework for serious games. In: 2009 Ninth IEEE International Conference on Advanced Learning Technologies, 15 - 17 Juy 2009, Riga, Latvia.

Z

Zhang, P., Wills, G., Howard, Y., Oussena, S., Kramer, D., Barn, R. and Barn, B. (2009) An E-learning Support Toolkit for Social Work Students on Placement. In: IADIS e-Learning 2009, 17-20 June,2009, Algarve, Portugal.

Zhou, D., Kazmierski, T. and Al-Hashimi, B. (2009) VHDL-AMS IMPLEMENTATION OF A NUMERICAL BALLISTIC CNT MODEL. In: Languages for Embedded Systems and their Applications, VTEX Book Production. (Submitted)

This list was generated on Fri Aug 1 00:56:01 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints