Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2006
|Up a level|
Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2006) An open extensible tool environment for Event-B. In, ICFEM 2006, Macau, Springer.
Baldan, P, Corradini, A, Heindel, T, König, B and Sobocinski, P (2006) Processes for adhesive rewriting systems. In, Foundations of Software Science and Computation Structures, Vienna, Austria, 25 - 31 Mar 2006. Springer, 202-216.
Ball, Elisabeth and Butler, Michael (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B. In, FM'06 Doctoral Symposium, McMaster University, Hamilton, Canada, Springer.
Boulain, PR, Parker, MB, Millard, DE and Wills, GB (2006) Weerkat: An extensible semantic Wiki. In, 8th Annual Conference on WWW Applications, Bloemfontein, Free State Province, South Africa, 06 - 08 Sep 2006.
Butler, Michael (2006) On the Verified-by-Construction Approach. FACS FACTS
Butler, Michael, Jones, Cliff B., Romanovsky, Alexander and Troubitsyna, Elena (2006) Rigorous Development of Complex Fault-Tolerant Systems, Springer (Lecture Notes in Computer Science, 4157).
Cai, Yuan, Schmitz, Marcus, Al-Hashimi, Bashir M. and Reddy, Sudhakar M. (2006) Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints. ACM Transactions on Design Automation of Electronic Systems
Cai, Yuan, Schmitz, Marcus, Ejlali, Alireza, Al-Hashimi, Bashir and Reddy, Sudhakar (2006) Cache Size Selection for Performance, Energy and Reliability of Time-Constrained Systems. In, 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006),
Cirstea, Corina, Orejas, F. (ed.) (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67, (1-2), 87-113.
Cirstea, Corina, Adámek, J and Milius, S (eds.) (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204, (4), 469-502.
Cirstea, Corina (2006) Modularity in Coalgebra. In, 8th International Workshop on Coalgebraic Methods in Computer Science Elsevier, 3-26.
Collins, Matthew, Al-Hashimi, Bashir and Wilson, Peter (2006) On-chip timing measurement architecture with femtosecond resolution. Electronics Letters, 42, (9), 528-530.
Collins, Matthew and Al-Hashimi, Bashir M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution. In, 11th IEEE European Test Symposium (ETS'06), Southampton, UK, 21 - 25 May 2006.
Collins, Matthew and Al-Hashimi, Bashir M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution. In, 11th IEEE European Test Symposium (ETS'06), Southampton, UK, 21 - 25 May 2006.
DILILLO, L., ROSINGER, P., AL-HASHIMI, B. M. and GIRARD, P. (2006) Minimizing Test Power in SRAM through Reduction of Pre-charge Activity. In, DATE - Design Automation and Test in Europe, Munich, Germany, 06 - 10 Mar 2006.
Danos, V, Krivine, J and Sobocinski, P (2006) General reversibility. In, 13th International Workshop on Expressiveness in Concurrency, Express '06, Bonn, Germany,
Denney, Ewen, Fischer, Bernd and Schumann, Johann (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15, (1), 81-107.
Dhanjal, Charanpal, Gunn, Steve R. and Shawe-Taylor, John (2006) Sparse Feature Extraction using Generalised Partial Least Squares. In, IEEE International Workshop on Machine Learning for Signal Processing, Maynooth, Ireland, , 27-32.
Dilillo, Luigi, Hashimi, B. M., Rosinger, Paul and Girard, Patrick (2006) Leakage Read Fault in Nanoscale SRAM: Analysis, Test and Diagnosis. At International Design and Test Workshop, Duday, 19 - 20 Nov 2006.
Dilillo, Luigi, Rosinger, Paul, Al-Hashimi, Bashir M. and Girard, Patrick (2006) Reducing Power Dissipation in SRAM during Test. Journal of Low Power Electronics
Ejlali, Ali, Al-Hashimi, Bashir M., Schmitz, Marcus, Rosinger, Paul and Miremadi, Seyed G. (2006) Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real-Time Systems. IEEE Transactions on Very Large Scale Integration (VLSI) Systems
El-Maleh, Aiman, Khursheed, Syed Saqib and M. Sait, Sadiq (2006) Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 25, (11)
Evans, Neil and Butler, Michael (2006) Incremental Construction of Large Specifications: Case Study and Techniques.
Evans, Neil and Butler, Michael (2006) A Proposal for Records in Event-B. In, Formal Methods 2006, McMaster, Canada, Springer, 221-235.
Fraga, Eric S, Wills, Gary, Fairweather, Michael and Perris, Tony (2006) “Smart Models” - a framework for adaptive multi-scale modelling. In, 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, Garmisch-Partenkirchen, Germany, 09 - 13 Jul 2006.
Garrido, Jose-Soler, Piachocki, Robert, Maharatna, Koushik and McNamara, Darren (2006) Analogue MIMO detection on the basis of belief propagation. In, IEEE Mid-West Symposium on Circuits and Systems (MWSCAS) 2006
Garrido, Jose-Soler, Piachocki, Robert, Maharatna, Koushik and McNamara, Darren (2006) MIMO detection in analogue VLSI. In, IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Kos, Greece, IEEE, 4895-4898.
Gilbert, Lester, Sitthisak, Onjira, Sim, Yee Wai, Wang, Chu and Wills, Gary (2006) From collaborative virtual research environment to teaching and learning. In, TENcompetence Workshop: Learning Networks for Lifelong Competence Development, Sofia, Bulgaria, 30 - 31 Mar 2006.
Grange, S, Wang, C, Gilbert, L, Sim, YW, Millard, DE, Hall, W, Gardner, E and Wills, GB (2006) A Web/Grid Services Approach for Integration of Virtual Clinical & Research Environments. At Integrated Health Records “Practice and Technologies”, National eScience Centre (NeSC), Edinburgh, 10 - 09 Mar 2006.
Grange, Simon (2006) A Virtual University Infrastructure For Orthopaedic Surgical Training With Integrated Simulation. University of Exeter, United Kingdom, Engineering, Mathematics and Computing, Doctoral Thesis .
Gravell, Andrew M (2006) Verification Conditions are Code. Acta Informatica, 43, 431-477.
Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. D. B. (2006) Band selection for hyperspectral image classification using mutual information. IEEE Geoscience and Remote Sensing Letters, 3, (4), 522-526.
Islam, A.H.M.R., Shafik, Rishad Ahmed and Ali, Shawkat (2006) Comparative Performance of Non-linear Distortion Effects in OFDM-RoF Link. In, IEEE-TENCON2006, Hong Kong, HK, 14 - 17 Nov 2006. IEEE.
Islam, A.H.M.R., Shafik, Rishad Ahmed, Hassan, Mohammad Imrul and Song, Ju Bin (2006) Next Generation Converged Connectivity Model for Rural Business Opportunities in Developing Countries. In, 2nd IEEE ComSoc Joint International Conference on Optical Internet and Next-generation Network (COIN-NGNCON 2006), Jeju Island, Korea, , 272-274.
Islam, A.H.M.R., Shafik, Rishad Ahmed, Hassan, Mohammad Imrul and Song, Ju Bin (2006) Next Generation Rural Wireless Connectivity Model For Developing Countries. In, 12th IEEE Asia Pacific Conference on Communications (APCC2006), Busan, Korea, 31 Aug - 01 Sep 2006.
Islam, A.H.M.R., Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar and Song, Ju Bin (2006) On The Non-linear Distortion Effects in an OFDM-RoF Link. In, 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Peshawar, Pakistan, 13 - 14 Nov 2006. , 20-26.
Islam, Abu Hena Razibul, Shafik, Rishad Ahmed and Song, J.B. (2006) ACPR Performance of OFDM Systems. Journal of Kyung-Hee Devan Design Centre, 14, (1), 61-65.
Lack, Stephen and Sobocinski, Pawel (2006) Toposes are adhesive. In, International Conference on Graph Transformation (ICGT '06), Natal, Brazil, 17 - 23 Sep 2006. Springer, 184-198.
Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff B., Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. In, Generative Programming and Component Engineering, 5th International, Portland, Oregon, 22 - 26 Oct 2006. ACM.
Leeke, Selwyn and Maharatna, Koushik (2006) A low-power geometric mapping co-processor for high-speed graphics application. In, IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Kos, Greece, IEEE, 3193-3196.
Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2006) Symmetry Reduction for B by Permutation Flooding. In, B2007, Besancon, France,
Lo Presti, Stéphane, Butler, Michael, Leuschel, Michael and Booth, Chris (2006) Holistic Trust Design of E-Services. In, Song, Ronggong (ed.) Trust in E-services: Technologies, Practices and Challenges. , .
Longpradit, Panchit, Bailey, Christopher, Hall, Wendy and Wills, Gary (2006) Personalised Navigation System with Multidimensional Linkbases. In, Adaptive Hypermedia and Adaptive Web-Based Systems 2006, National College of Ireland, Dublin, 21 - 23 Jun 2006.
Maharatna, Koushik (2006) A low-power 128-pt FFT for wireless personal area network. In, International Conference on Electronic and Photonic Materials, Devices and Systems (EPMDS) 2006, Calcutta, India, , 11-14.
Maharatna, Koushik, Troya, Alfonso, Kristic, Milos and Grass, Eckhard (2006) On the Implementation of a Low-Power IEEE 802.11a Compliant Viterbi Decoder. In, 19th VLSI Design Conference 2006, Hyderabad, India,
Makola, D, Sim, YW, Wang, C, Gilbert, L, Grange, SAW and Wills, GB (2006) A Service-Oriented Architecture for a Collaborative Orthopaedic Research Environment. In, 8th Annual Conference on WWW Applications, Bloemfontein, Free State Province, South Africa, 06 - 08 Sep 2006.
Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2006) Adaptation in Adaptable Personal Information Environment. At Adaptive Hypermedia and Adaptive Web-Based Systems, Dublin, Ireland, 20 - 23 Jun 2006.
Matthew, Jimson, Maharatna, Koushik and Pradhan, Dhiraj (2006) Exploration of Power Optimal Implementation Technique of 128-Pt FFT/IFFT for WPAN using Pseudo-Parallel Datapath Structure. In, 10th IEEE International Conference on Communication Systems (ICCS) 2006,
Merrett, G. V., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2006) Rule Managed Reporting in Energy Controlled Wireless Sensor Networks. At Eurosensors XX, Gothenburg, Sweden, 17 - 20 Sep 2006. , 402-403.
Merrett, Geoff V., Harris, Nick R., Al-Hashimi, Bashir M. and White, Neil M. (2006) Energy Controlled Reporting for Industrial Monitoring Wireless Sensor Networks. In, IEEE Sensors 2006, Daegu, Korea, 22 - 25 Oct 2006. IEEE, 892-895.
Merrett, Geoff V., Weddell, Alex S., Harris, Nick R., White, Neil M. and Al-Hashimi, Bashir M. (2006) The Unified Framework for Sensor Networks: A Systems Approach. , University of Southampton
Miles-Board, T, Carr, L, Wills, G, Power, G, Bailey, C, Hall, W, Stenning, M and Grange, S (2006) Extending the role of a healthcare digital library environment to support orthopaedic research. Health Informatics Journal, 12, (2), 93-105.
Millard, David, Bailey, Christopher, Davis, Hugh, Gilbert, Lester, Howard, Yvonne and Wills, Gary (2006) The e-Learning Assessment Landscape. In, International Conference on Advanced Learning Technologies (ICALT) 2006, Kerkrade, The , Netherlands, 05 - 07 Jul 2006.
Millard, David, Doody, Karl, Davis, Hugh, Howard, Yvonne, Gilbert, Lester, Tao, Feng and Will, Gary (2006) (Semantic Web) Services for e-Learning. In, 2nd International ELeGI Conference on Advanced Technology for Enhanced Learning, Barcelona,
Millard, David, Howard, Yvonne, Chennupati, Swapna, Davis, Hugh, Jam, Ehtesham-Rasheed, Gilbert, Lester and Wills, Gary (2006) Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces. In, European Conference on Web Services (ECOWS) 2006, Zurich, Switzerland, 04 - 06 Dec 2006.
Millard, David E., Howard, Yvonne, Jam, Ehtesham-Rasheed, Chennupati, Swapna, Davis, Hugh C., Gilbert, Lester and Wills, Gary B. (2006) FREMA method for describing Web Services in a Service Oriented Architecture.
Nelson, J. D. B., Damper, R. I., Gunn, S. R. and Guo, B. (2006) Signal theory for SVM kernel parameter estimation. At IEEE International Workshop on Machine Learning for Signal Processing, Maynooth, Ireland, , 149-154.
Nguyen, Nicholas and Rathke, Julian (2006) Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control. In, PASSWORD workshop, ECOOP, Nantes,
Parker, MB, Moleshe, V, De la Harpe, R and Wills, GB (2006) An evaluation of Information quality frameworks for the World Wide Web. In, 8th Annual Conference on WWW Applications, Bloemfontein, Free State Province, South Africa, 08 - 06 Sep 2006.
Parker, Marlon, Stofberg, Cornell, De la Harpe, Retha, Venter, Isabella and Wills, Gary (2006) DATA QUALITY: HOW THE FLOW OF DATA INFLUENCES DATA QUALITY IN A SMALL TO MEDIUM MEDICAL PRACTICE. In, Community informatics for developing countries: Understanding and organising for a participatory future information society, Cape Town, South Africa, 31 Aug - 02 Sep 2006.
Paventhan, A, Takeda, Kenji, Cox, Simon J and Nicole, Denis A (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. In, Barga, Roger S. and Zhou, Xiaofang (eds.) Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). IEEE Workshop on Workflow and Data Flow for Scientific Applications, (SciFlow 2006) , IEEE Computer Society, 65-74.
Paventhan, Arumugam, Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Alexandrov, Vassil N., van Albada, G. Dick, Sloot, Peter M. A. and Dongarra, Jack J (eds.) (2006) Workflows for Wind Tunnel Grid Applications. Lecture Notes in Computer Science Computational Science – ICCS 2006, 3993, 928-935.
Pearce, C.B., Gunn, S.R., Ahmed, A. and Johnson, C.D. (2006) Machine Learning Can Improve Prediction of Severity in Acute Pancreatitis using Admission Values of APACHE II Score and C-Reactive Protein. Pancreatology, 6, 123-131.
Poppleton, Michael and Groves, Lindsay (2006) Formal perspectives on software evolution: from refinement to retrenchment. In, Madhavji, Nadim, Fernandez-Ramil, Juan and Perry, Dewayne (eds.) Software Evolution and Feedback: Theory and Practice. , John Wiley, 313-338.
Razali, R. and Garratt, P.W. (2006) Measuring the Comprehensibility of a UML-B Model and a B Model. Enformatika Transactions onEngineering Computing and Technology, Vol 16, 338-343.
Razali, Rozilawati and Garratt, Paul W (2006) Measuring the Comprehensibility of a UML-B model and a B model. At International Conference on Computer and Information Science and Engineering (CISE 2006), Venice, Italy, 24 - 26 Nov 2006. , 338-343.
Rezazadeh, Abdolbaghi (2006) Formal Patterns for Web-based Systems Design. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis .
Ripon, Shamim and Butler, Michael (2006) Relating Semantic Models of Compensating CSP.
Sadrzadeh, Mehrnoosh and Cirstea, Corina (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In, Logic and the Foundations of Game and Decision Theory, University of Liverpool, 13 - 16 Jul 2006. University of Liverpool.
Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar, Adnan, Nasib Ahmed and Islam, Mohammad Sajedul (2006) On the Lempel-Ziv-Welch Coded Speech Transmission and Markov Chain Detection. In, 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Peshawar, Pakistan, 13 - 14 Nov 2006. , 183-187.
Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar and Islam, AHM Razibul (2006) On the Extended Relationships Among EVM, BER and SNR as Performance Metrics. In, 4th International Conference on Electrical and Computer Engineering, Dhaka, Bangladesh, , 408-411.
Shafik, Rishad Ahmed, Rahman, Mohammad Shahriar, Islam, Abu Hena Mohhamad Razibul and Ashraf, Nabil Shovon (2006) On the error vector magnitude as a performance metric and comparative analysis. In, 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), Peshawar, Pakistan, 13 - 14 Nov 2006. , 27-31.
Sim, Y W, Crowder, R M and Wills, G B (2006) Expert Finding by Capturing Organisational Knowledge from Legacy Documents. In, IEEE International Conference on Computer & Communication Engineering (ICCCE '06), Kuala Lumpur, Malaysia, 09 - 11 May 2006.
Snook, Colin and Butler, Michael (2006) UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology, 15, (1), 92-122.
Turner, Edd and Butler, Michael (2006) Symmetry Reduction in the ProB Model Checker. In, FM2006 Doctoral Symposium, McMaster University, Canada, 21 - 27 Aug 2006. Springer Verlag.
Walters, Robert J, Millard, David E, Bernnett, Philip, Argles, David, Crouch, Stephen, Gilbert, Lester and Wills, Gary (2006) Teaching the Grid: Learning Distributed Computing with the M-grid Framework. In, ED-MEDIA 2006--World Conference on Educational Multimedia, Hypermedia & Telecommunications, Orlando, USA, 26 - 30 Jun 2006. , 3857-3864.
Watkins, E. Rowland and Nicole, Denis A., Zhou, Xiaofang, Li, Jianzhong, Shen, Heng Tao, Kitsuregawa, Masaru and Zhang, Yanchun (eds.) (2006) Named Graphs as a Mechanism for Reasoning about Provenance. Lecture Notes in Computer Science Frontiers of WWW Research and Development - APWeb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings, 3841, 943-948.
White, SA, Carr, LA, Davis, HC, Hooper, CJ, Griffith, TP and Wills, GB (2006) ANNANN – Next Steps for Scaffolding Learning About Programs. In, The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), Kerkrade, The , Netherlands, 05 - 07 Jul 2006.
Wills, Gary, Davis, Hugh, Chennupati, Swapna, Gilbert, Lester, Howard, Yvonne, Jam, Ehtesham-Rasheed, Jeyes, Steve, Millard, David, Sherratt, Robert and Willingham, Gavin (2006) R2Q2: Rendering and Reponses Processing for QTIv2 Question Types. In, 10th International CAA Conference, Loughborough University, UK, 04 - 05 Jul 2006.
Wilson, Peter R, Al Hashimi, Bashir, Brown, Andrew D and Zwolinski, Mark (2006) A Masters Course in System on Chip. In, European Workshop on Microelectronics Education, Stockholm, , 11-14.
Wong, Sylvia C, Crowder, Richard M, Shadbolt, Nigel R and Wills, Gary B (2006) Knowledge Management for a Large Service-Oriented Corporation. In, Practical Aspects of Knowledge Management (PAKM), Vienna, Austria, 30 Nov - 01 Dec 2006. Springer-Verlag, 326-337.
Wong, Sylvia C, Crowder, Richard M and Wills, Gary B (2006) On a Service-Oriented Approach for an Engineering Knowledge Desktop. At 15th International World Wide Web Conference (WWW2006), Edinburgh, Scotland, 23 - 26 May 2006.
Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2006) Knowledge Engineering - From Front-line Support to Preliminary Design. In, ACM Symposium on Document Engineering (DocEng), Amsterdam, The , Netherlands, 10 - 13 Oct 2006. ACM Press, 44-52.
Wu, Dong, Al-Hashimi, Bashir M. and Schmitz, Marcus T. (2006) Improving Routing Efficiency for Network-on-Chip through Contention-Aware Input Selection. In, 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006),
Wuertemberger, Armin, Rosinger, Paul, Al-Hashimi, Bashir and Chakrabarty, Krishnendu (2006) Cost Model-Driven Test Resource Partitioning for SoCs. IEE Electronics Letters
Yadav, Divakar and Butler, Michael (2006) Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B. In, Rigorous Development of Complex Fault-Tolerant Systems. , Lecture Notes in Computer Science, Springer , 2006, 343-363.
Zadorozhnii, V.I., Vasilev, A.N., Reshetnyak, V.Yu., Thomas, K.S. and Sluckin, T.J (2006) Nematic director response in ferronematic cells. EUROPHYSICS LETTERS, 73, (3), 408-414.
Zain Ali, Noohul Basheer, Zwolinski, Mark, Al-Hashimi, Bashir M and Harrod, Peter (2006) Dynamic Voltage Scaling Aware Delay Fault Testing. In, European Test Symposium, Southampton, 21 - 25 May 2006.
Zhang, Zhuo, M. Reddy, Sudhakar, Pomeranz, Irith, Rajski, Janusz and M. Al-Hashimi, Bashir (2006) Enhancing Delay Fault Coverage through Low Power Segmented Scan. 11th IEEE European Test Symposium, Southampton, UK, 21-24 May 2006
Zhiyuan, He, Peng, Zebo, Eles, Petru, Rosinger, Paul and Al-Hashimi, Bashir M. (2006) Thermal-aware SoC test scheduling with test set partitioning and interleaving. In, ”, International Symposium on Defect and Fault Tolerance in VLSI System, Washington DC, 03 - 04 Oct 2006. IEEE Computer Society.