Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2007
|Up a level|
Butler, Michael, Hinchey, Michael G. and Larrondo-Petrie, María M. (eds.) (2007) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Springer (Lecture Notes in Computer Science, 4789).
Zain Ali, Noohul Basheer, Zwolinski, Mark and Al-Hashimi, Bashir (2007) Testing of Level Shifters in Multiple Voltage Designs. At 14th IEEE International Conference on Electronics, Circuits and Systems, 11 - 14 May 2007.
Abbas, Noura, Gravell, Andrew M and Wills, Gary B (2007) Agile Software Assurance. In, PhD Symposium in the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP 2007), Como, Italy, 18 - 22 Jun 2007. Springer, 165-166.
Al-Khalifa, Hend S., Davis, Hugh C. and Gilbert, Lester (2007) Creating structure from disorder: using folksonomies to create semantic metadata. In, the 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03 - 06 Mar 2007.
Ali, Haider and Al-Hashimi, Bashir M. (2007) Architecture Level Power-Performnace Trade-offs for Pipelined Design. In, IEEE Symposium on Circuits and Systems (ISCAS 07), New Orleans, US, 27 - 30 May 2007. IEEE.
Andrei, Alexandru, Eles, Pertu, Peng, Zebo, Schmitz, Marcus and Al-Hashimi, Bashir M. (2007) Energy Optimization of Multiprocessor Systems on Chip By Voltage Selection. IEEE Transactions on VLSI Systems
Argles, David, Frazer, Alex, Wills, Gary and Wald, Mike (2007) Learning Through Rich Environments. In, EdMedia, Vancouver, 25 - 29 Jun 2007.
Argles, David, Pease, Alex and Walters, Robert J (2007) An Improved Approach to Secure Authentication and Signing. In, The 2007 International Symposium on Frontiers in Networking with Applications (FINA 2007) In conjunction with The IEEE 21st International Conference on Advanced Information Networking and Applications (AINA 2007)., Niagara Falls, Canada, 21 - 23 May 2007. IEEE.
Ball, Elisabeth and Butler, Michael (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In, Methods, Models and Tools for Fault Tolerance, Oxford, UK,
Banach, Richard, Jeske, Czeslaw, Poppleton, Michael and Stepney, Susan, Skowron, A, Bartol, W, Polkowski, L and Rasiowa, H (eds.) (2007) Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundamenta Informaticae, 77, (1-2), 29-69.
Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, Bergstra, J. (ed.) (2007) Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67, 301-329.
Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London.
Butler, Michael, Jones, Cliff, Romanovsky, Alexander and Troubitsyna, Elena (2007) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007).
Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388, 83-108.
Cirstea, Corina and Sadrzadeh, Mehrnoosh (2007) Coalgebraic Epistemic Update without Change of Model. In, 2nd Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway, 20 - 24 Aug 2007. Springer Verlag, 158-172.
Crouch, Stephen, Henderson, Peter and Walters, Robert J (2007) Selecting a Distributed Agreement Algorithm. At The 2007 ACM Syposium on Applied Computing, Seoul, South Korea, 11 - 15 Mar 2007. , 586-587.
Crouch, Stephen, Henderson, Peter and Walters, Robert John (2007) DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. In, The Thirty-first Annual (IEEE) International Computer Software and Applications Conference (COMPSAC07), Beijing, China, 23 - 27 Jul 2007. IEEE Computer Society, 583-590.
Derouiche, Kheiredine and Nicole, Denis A, Meersman, Robert, Tari, Zahir and Herrero, Pilar (eds.) (2007) Semantically Resolving Type Mismatches in Scientific Workflows. Lecture Notes in Computer Science On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops , 4805, 125-135.
Dilillo, L and Al-Hashimi, B M (2007) March CRF: an Efficient Test for Complex Read Faults in SRAM Memories. In, X Workshop on Design and Diagnostics of Electronic Circuits and Systems, Krakow, Poland, 11 - 13 Apr 2007.
Ejlali, Alireza, Al-Hashimi, Bashir M., Rosinger, Paul and Miremadi, Seyed Ghassem (2007) Joint Consideration of Fault-Tolerance, Energy-Efficiency and Performance in on-Chip Networks. In, Design, Automation and Test in Europe (DATE07), Nice, France, 16 - 20 Apr 2007. IEEE Computer Society.
El-Maleh, Aiman and Khursheed, Syed Saqib (2007) Efficient test compaction for combinational circuits based on Fault detection count-directed clustering. Computers & Digital Techniques, IET, 1, (4)
Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Mark, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J., Shi, Y, Albada, G D, Dongarra, J and Sloot, P M A (eds.) (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. Lecture Notes in Computer Science Computational Science – ICCS 2007, 4489, 273-280.
Frazer, Alex, Argles, David and Wills, Gary (2007) Assessing The Usefulness Of Mini-games As Educational Resources. In, ALT-C 2007: Beyond Control, Nottingham, UK, 04 - 06 Sep 2007.
Frazer, Alex, Argles, David and Wills, Gary (2007) Is Less Actually More? The Usefulness Of Educational Mini-games. In, The 7th IEEE International Conference on Advanced Learning Technologies, Niigata, Japan, 18 - 20 Jul 2007.
Garratt, p. (2007) Usability Assessment of a UML-based Formal Modelling Method. In, International Conference on Modelling and Simulation MS'07, Terni, 22 - 24 Oct 2007.
Gilbert, Lester and Sitthisak, Onjira (2007) Pedagogically informed metadata content and structure for learning and teaching. In, TENCompetence Open Workshop on Current research on IMS Learning Design and Lifelong Competence Development Infrastructures, Barcelona, Spain, 21 - 22 Jun 2007.
Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Action Plan.
Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Centre Visions.
Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Future Demands, Threats & Issues.
Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Science Review Summaries.
Grange, S and De Roure, D (2007) Technical report: Digital Healthcare Projects Policy Executive Summary.
Grange, Simon, Gilbert, Lester and Wills, Gary (2007) A Collaborative Orthopaedic Research Environment. In, UK e-Science All Hands Meeting, Nottingham, UK, 10 - 13 Sep 2007.
Hooper, Clare, Carr, Leslie, Davis, Hugh, Millard, David, White, Su and Wills, Gary (2007) AnnAnn and AnnAnn.Net : Tools for Teaching Programming. Journal of Computers, 2, (5), 916.
Imtiaz, Nafiz, Azim, Anwarul, Shafik, Rishad and , Muhammad (2007) A Novel Approach of Implementing an FFT Algorithm on OFDM System. In, IEEE ComSoC Wireless Communications, Networking and Mobile Computing (WiCom), 21 - 25 Sep 2007. , 57-60.
Jadhav, Pooja, Wong, Sylvia C, Wills, Gary B, Crowder, Richard M and Shadbolt, Nigel R (2007) Data Mining to Support Engineering Design Decision. In, Workshop on Semantic Web and Web 2.0 in Architectural, Product and Engineering Design, 6th International Semantic Web Conference (ISWC), Busan, Korea,
Joochim, Tossaporn and Poppleton, Mike (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification. In, IAIT2007: The 2nd International Conference on Advances in Information Technology 2007,
Kazmierski, Tom, Zhou, Dafeng and Al-Hashimi, Bashir (2007) A Fast, Numerical Circuit-Level Model of Carbon Nanotube Transistor. In, Nanoscale Architectures, 2007. NANOSARCH 2007. IEEE International Symposium on, San Jose, CA, 21 - 22 Oct 2007. , 33-37.
La Torre, Salvatore, Napoli, Margherita and Parente, Mimmo (2007) Verification of Succinct Hierarchical State Machines. In, Conference on Language and Automata Theory and Applications (LATA)
Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2007) Symmetry Reduction for B by Permutation Flooding. In, 7th International B Conference, Besancon. , France, Springer.
Leuschel, Michael, Cansell, Dominique and Butler, Michael (2007) Validating and Animating Higher-Order Recursive Functions in B. In, Festschrift for Egon Börger
Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2007) Adaptive Personal Information Environment based on the Semantic Web. Journal of Digital Information, 8, (3), 64-74.
Metra, Cecilia, Rossi, Daniele and Mak, T.M. (2007) Won’t on-chip clock calibration guarantee performance boost and product quality? IEEE Transactions on Computers, 56, (3), 415-428. (doi:10.1109/TC.2007.53).
Millard, David, Fill, Karen, Gilbert, Lester, Howard, Yvonne, Sinclair, Patrick, Senbanjo, Damilola and Wills, Gary (2007) Towards a Canonical View of Peer Assessment. In, International Conference on Advanced Learning Technologies (ICALT) 2007, Niigata, Japan, 18 - 20 Jul 2007.
Millard, David, Howard, Yvonne, Abbas, Noura, Davis, Hugh, Gilbert, Lester, Wills, Gary and Walters, Robert (2007) The Service Responsibility and Interaction Design Method: Using an Agile approach for Web Service Design. In, the 5th IEEE European Conference on Web Services (ECOWS), Halle, Germany, 26 - 28 Nov 2007.
Nicole, Denis (2007) Stay unpopular-and get rich quick. Money Guardian, 4-4.
Nicole, Denis and Panahi, Taban (2007) Successful Indian model in producing modern computers. Digital, Tehran, 30-30.
Nicole, Denis A, Mills, Hugo (ed.) (2007) New Schools in the East and west of Southampton. VIEWPOINT : a paper for independent comment, (456), 1-7.
Ochoa-Montiel, M A, Al-Hashimi, B M and Kollig, P (2007) Exploiting Power-Area Tradeoffs in Behavioural Synthesis through clock and operations throughput selection. At ASPDAC, 23 - 27 Jan 2007.
Ogg, S, Valli, E, D'Allesandro, C, Yakovlev, A, Al-Hashimi, B and Benini, L (2007) Reducing Interconnect Cost in NoC through Serialized Asynchronous Links. At The 1st ACM/IEEE International Symposium on Networks-on-Chip, Princeton, NJ, 06 - 09 May 2007.
Omana, Martin, Rossi, Daniele and Metra, Cecilia (2007) Latch susceptibility to transient faults and new hardening approach. IEEE Transactions on Computers, 56, (9), 1255-1268. (doi:10.1109/TC.2007.1070).
Paventhan, A., Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Fox, Geoffrey C., Hey, Anthony J. G. and Moreau, Luc (eds.) (2007) MyCoG.NET: A Multi-language CoG Toolkit. Concurrency and Computation: Practice and Experience, 19, (14), 1885-1900.
Poppleton, Michael (2007) Towards Feature-Oriented Specification and Development with Event-B. In, REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Trondheim, Norway, Springer-Verlag, 367-381.
Ramakrishnan, Hiran, Chattopadhyay, Sanatan, Maharatna, Koushik, Shedable, S and Yakovlev, Alex (2007) Exploration of potential of strained-Si CMOS for ultra low-power circuit design. In, 8th International Conference on Ultimate Integration on Silicon, Lueven,
Ramkrishnan, Hiran, Maharatna, Koushik, Chattopadhyay, Sanatan, Yakovlev, Alex and O'Neill, Anthony (2007) Impact of strain on the design of low-power high-speed circuits. In, IEEE International Symposium on Circuits and Systems, New Orleans, IEEE.
Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.
Razali, R, Snook, C, Poppleton, M and Garratt, P (2007) Comprehensibility of UML-B - A Series of Controlled Experiments.
Razali, R, Snook, C. F., Poppleton, M. R., Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. At 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), Keele, Staffordshire, UK, 02 - 03 Apr 2007. British Computer Society (BCS), 1-11.
Razali, R, Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments. In, 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007, Atlanta, US, Georgia, , 25-30.
Rezazadeh, Abdolbaghi , Evans, Neil and Butler, Michael (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. In, BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London,
Rossi, Daniele, Angelini, Paolo and Metra, Cecilia (2007) Configurable error control scheme for NoC signal integrity. In, 13th IEEE International On-Line Testing Symposium, Crete, GR, 08 - 11 Jul 2007. , 43-48. (doi:10.1109/IOLTS.2007.24).
Rossi, Daniele, Cazeaux, Jose Manuel and Metra, Cecilia (2007) Modeling crosstalk effects in CNT bus architectures. IEEE Transactions on Nanotechnology, 6, (2), 133-145. (doi:10.1109/TNANO.2007.891814).
Satpathy, Manoranjan, Butler, Michael, Leuschel, Michael and Ramesh, S (2007) Automatic Testing from Formal Specifications. In, International Conference on Tests And Proofs (TAP), ETH Zurich, Switzerland, 12 - 13 Feb 2007.
Sitthisak, Onjira, Gilbert, Lester and Davis, Hugh C (2007) Towards a competency model for adaptive assessment to support lifelong learning. In, TENCompetence Workshop on Service Oriented Approaches and Lifelong Competence Development Infrastructures, Manchester, UK, 11 - 12 Jan 2007.
Sitthisak, Onjira, Gilbert, Lester and Davis, Hugh C (2007) Transforming a competency model to assessment items. In, PROLIX Workshop 2007 in conjunction with EC-TEL07, Crete, Greece,
Sitthisak, Onjira, Gilbert, Lester, Davis, Hugh C and Gobbi, Mary (2007) Adapting health care competencies to a formal competency model. In, The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), Niigata, Japan, 18 - 20 Jul 2007.
Sitthisak, Onjira, Gilbert, Lester, Zalfan, Mohd T and Davis, Hugh C (2007) Interactivity within IMS Learning Design and Question and Test Interoperability. In, the 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03 - 06 Mar 2007.
Stapenhurst, Robert, Maharatna, Koushik, Matthew, Jimson, Nunez-Yanez, Jose and Pradhan, Dhiraj (2007) On the hardware reduction of z-datapath of vectoring CORDIC. At IEEE International Sympsium on Circuits and Systems (ISCAS) 2007, New Orleans, IEEE.
Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2007) A Robust Class of Context-Sensitive Languages. In, LICS, Wroclaw, Poland, 10 - 12 Jul 2007. IEEE, 161-170.
Torre, Salvatore La and Parlato, Gennaro (2007) On the Complexity of LtlModel-Checking of Recursive State Machines. In, ICALP, Wroclaw, Poland, 09 - 13 Jul 2007. Springer, 937-948.
Troya, Alfonso, Maharatna, Koushik, Krstic, Milos, Grass, Eckhard, Jagdhold, Ulrich and Kraemer, Rolf (2007) Efficient inner-receiver design for OFDM-based WLAN systems: Algorithm and architecture. IEEE Transactions on Wireless Communications, 6, (4), 1374-1385.
Turner, Edd, Leuschel, Michael, Spermann, Corinna and Butler, Michael (2007) Symmetry Reduced Model Checking for B. In, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), ECNU, Shanghai, China, 06 - 08 Jun 2007. IEEE Computer Society, 25-34.
Victor, Zadorozhnii, V. I. , Tim, Sluckin, T. J, Vladimir, Reshetnyak, V. Y. and Ken, Thomas K.S. (2007) The Frederiks effect and related phenomena in ferronematic materials. Siam Journal on Applied Mathematics, 68, (6), 1688-1716.
Wang, Chu, Davis, Hugh, Dickens, Kate, Wills, Gary and White, Su (2007) Finding the Right Tool for the Community:Bringing a Wiki-Type Editor to the World of Reusable Learning Objects. In, The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), Niigata, Japan, 18 - 20 Jul 2007. IEEE Computer Society Press, v-xix.
Wang, Chu, Dickens, Kate, Davis, Hugh and Wills, Gary (2007) Community Tools for Repurposing Learning Objects. In, Second European Conference on Technology Enhanced Learning, Crete, Greece, 17 - 20 Sep 2007. Springer, 378-392.
Wang, Leran, Kazmierski, Tom, Al-Hashimi, Bashir, Beeby, Steve and Torah, Russel (2007) An Integrated Approach to Energy Harvester Modeling and Performance Optimization. At IEEE Behavioral Modeling and Simulation Conference (BMAS 2007), San Jose, California, USA, 20 - 21 Sep 2007. , 121-125.
Wills, Gary, Bailey, Christopher, Davis, Hugh, Gilbert, Lester, Howard, Yvonne, Jeyes, Steve, Millard, David, Price, Joseph, Sclater, Niall, Sherratt, Robert, Tulloch, Iain and Young, Rowin (2007) AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA). In, International CAA Conference, Loughborough , UK, 10 - 11 Jul 2007.
Wills, Gary, Davis, Hugh, Gilbert, Lester, Hare, Jonathon, Howard, Yvonne, Jeyes, Steve, Millard, David and Sherratt, Robert (2007) Delivery of QTIv2 Question Types. In, International CAA Conference, Loughborough , uk, 10 - 11 Jul 2007.
Wills, Gary B., Abbas, Noura, Chandrasekharan, Rakhi, Crowder, Richard M., Gilbert, Lester, Howard, Yvonne, Millard, David E., Wong, Sylvia C. and Walters, Robert J (2007) An Agile Hypertext Design Methodology. In, 18th ACM Conference on Hypertext and Hypermedia, Manchester, UK, 10 - 12 Sep 2007.
Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Informing Preliminary Design by Incorporating Service Knowledge. In, 16th International Conference on Engineering Design, Paris, 28 - 31 Aug 2007.
Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Lesson Learnt from a Large-Scale Industrial Semantic Web Application. In, 18th ACM Conference on Hypertext and Hypermedia, Manchester, UK, 10 - 12 Sep 2007.
Yadav, Divakar and Butler, Michael (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In, Methods, Models and Tools for Fault Tolerance (MeMoT 2007), Oxford, , 33-42.
Yadav, Divakar and Butler, Michael (2007) Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B.
Yang, Letu and Poppleton, Michael (2007) Automatic Translation from Combined B and CSP specification to Java Programs. In, 7th International B Conference, Besancon, France, 17 - 19 Jan 2007. Springer-Verlag Lecture Notes in Computer Science, 64-78.
Yang, Letu and Poppleton, Michael (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. In, Communicating Process Architectures, Surrey, IOS Press, 67-88.
Zhang, Zhuo, Reddy, Sudhakar M., Pomeranz, Irith, Rajski, Janusz and Al-Hashimi, Bashir M. (2007) Enhancing Delay Fault Coverage Through Low Power Segmented Scan. IEEProceedings: Computer and Digital Techniques
Zhang, Zhuo, Reddy, Sudhakar M., Pomeranz, Irith, Rajski, Janusz and Al-Hashimi, Bashir M. (2007) Enhancing delay fault coverage through low power segmented scan. IEE Proceedings: Computer and Digital Techniques
Zhiyuan, He, Peng, Zepo, Eles, Petru, Rosinger, Paul and Al-Hashimi, Bashir M. (2007) Thermal-Aware Soc Test Scheduling with Test Set Partitioning and Interleaving. Journal of Electronic Testing: Theory and Applications (JETTA), Special issue on "Low Power Test"