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 2007
(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 | V | W | Y | Z
Number of items: 81.

Zain Ali, N. B., Zwolinski, M. and Al-Hashimi, B. (2007) Testing of Level Shifters in Multiple Voltage
Designs.
In: 14th IEEE International Conference on Electronics, Circuits and Systems, 11-14 May 2007, Morocco.

A

Abbas, N., Gravell, A. M. and Wills, G. B. (2007) Agile Software Assurance. In: PhD Symposium in the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP 2007), June 18-22, Como, Italy. pp. 165-166.

Al-Khalifa, H. S., Davis, H. C. and Gilbert, L. (2007) Creating structure from disorder: using folksonomies to create semantic metadata. In: the 3rd International Conference on Web Information Systems and Technologies (WEBIST), 3 - 6 March, 2007, Barcelona, Spain.

Ali, H. and Al-Hashimi, B. M. (2007) Architecture Level Power-Performnace Trade-offs for Pipelined Design. In: IEEE Symposium on Circuits and Systems (ISCAS 07), 27-30 May 2007, New Orleans, US.

Andrei, A., Eles, P., Peng, Z., Schmitz, M. and Al-Hashimi, B. M. (2007) Energy Optimization of Multiprocessor Systems on Chip By Voltage Selection. IEEE Transactions on VLSI Systems . ISSN 1063-8210 (In Press)

Argles, D., Pease, A. and Walters, R. 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)., May 21-23, 2007, Niagara Falls, Canada. (In Press)

Argles, D., Frazer, A., Wills, G. and Wald, M. (2007) Learning Through Rich Environments. In: EdMedia, June 25- June 29, 2007, Vancouver.

B

Ball, E. and Butler, M. (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In: Methods, Models and Tools for Fault Tolerance, 3rd July 2007, Oxford, UK.

Banach, R., Jeske, C., Poppleton, M. and Stepney, S. (2007) Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundamenta Informaticae, 77 (1-2). pp. 29-69. ISSN 0169-2968

Banach, R., Poppleton, M., Jeske, C. and Stepney, S. (2007) Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67 . pp. 301-329. ISSN 0167-6423

Butler, M. and Hallerstede, S. (2007) The Rodin Formal Modelling Tool. BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. . (In Press)

Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (2007) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007).

C

Cirstea, C. and Pattinson, D. (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388 . pp. 83-108.

Cirstea, C. and Sadrzadeh, M. (2007) Coalgebraic Epistemic Update without Change of Model. In: 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, Bergen, Norway. pp. 158-172.

Crouch, S., Henderson, P. and Walters, R. J. (2007) Selecting a Distributed Agreement Algorithm. In: The 2007 ACM Syposium on Applied Computing, March 11-15, 2007, Seoul, South Korea. pp. 586-587.

Crouch, S., Henderson, P. and Walters, R. J. (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), 23-27 July 2007, Beijing, China. pp. 583-590.

D

Derouiche, K. and Nicole, D. A. (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 . pp. 125-135. ISSN 0302-9743

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, April 11th – 13th, 2007, Krakow, Poland.

E

Ejlali, A., Al-Hashimi, B. M., Rosinger, P. and Miremadi, S. G. (2007) Joint Consideration of Fault-Tolerance, Energy-Efficiency and Performance in on-Chip Networks. In: Design, Automation and Test in Europe (DATE07), 16-20 April 2007, Nice, France. (In Press)

El-Maleh, A. and Khursheed, S. S. (2007) Efficient test compaction for combinational circuits based on Fault detection count-directed clustering. Computers & Digital Techniques, IET, 1 (4).

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. (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. Lecture Notes in Computer Science Computational Science – ICCS 2007, 4489 . pp. 273-280. ISSN 0302-9743

Frazer, A., Argles, D. and Wills, G. (2007) Assessing The Usefulness Of Mini-games As Educational Resources. In: ALT-C 2007: Beyond Control, 4-6 September 2007, Nottingham, UK.

Frazer, A., Argles, D. and Wills, G. (2007) Is Less Actually More? The Usefulness Of Educational Mini-games. In: The 7th IEEE International Conference on Advanced Learning Technologies, July 18-20, 2007, Niigata, Japan.

G

Garratt, p. (2007) Usability Assessment of a UML-based Formal Modelling Method. In: International Conference on Modelling and Simulation MS'07, 22-24 oct 2007, Terni.

Gilbert, L. and Sitthisak, O. (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, 21-22 June 2007, Barcelona, Spain.

Grange, S. and De Roure, D. (2007) Digital Healthcare Projects Policy
Action Plan.
Technical Report ECSTR-PSC07-005, Pervasive Sustems Centre - ECS, University of Southamtpon. (Unpublished)

Grange, S. and De Roure, D. (2007) Digital Healthcare Projects Policy
Centre Visions.
Technical Report ECSTR-PSC07-004, Pervasive Sustems Centre - ECS, University of Southampton. (Unpublished)

Grange, S. and De Roure, D. (2007) Digital Healthcare Projects Policy
Future Demands, Threats & Issues.
Technical Report ECSTR-PSC07-003, Pervasive Sustems Centre - ECS, University of Southamtpon. (Unpublished)

Grange, S. and De Roure, D. (2007) Digital Healthcare Projects Policy Science Review Summaries. Technical Report , Pervasive Sustems Centre - ECS, University of Southamtpon. (Unpublished)

Grange, S. and De Roure, D. (2007) Technical report: Digital Healthcare Projects Policy
Executive Summary.
Technical Report ECSTR-PSC07-001, ECS, ECS. (Unpublished)

Grange, S., Gilbert, L. and Wills, G. (2007) A Collaborative Orthopaedic Research Environment. In: UK e-Science All Hands Meeting, 10th - 13th September 2007, Nottingham, UK.

H

Hooper, C., Carr, L., Davis, H., Millard, D., White, S. and Wills, G. (2007) AnnAnn and AnnAnn.Net : Tools for Teaching Programming. Journal of Computers, 2 (5). p. 916.

I

Imtiaz, N., Azim, A., Shafik, R. and , M. (2007) A Novel Approach of Implementing an FFT Algorithm on OFDM System. In: IEEE ComSoC Wireless Communications, Networking and Mobile Computing (WiCom), 21-25 Sept., 2007, China. pp. 57-60.

J

Jadhav, P., Wong, S. C., Wills, G. B., Crowder, R. M. and Shadbolt, N. R. (2007) Data Mining to Support Engineering Design Decision. In: Workshop on Semantic Web and Web 2.0 in Architectural, Product and Engineering Design, 11 November 2007, 6th International Semantic Web Conference (ISWC), Busan, Korea.

Joochim, T. and Poppleton, M. (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification. In: IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand.

K

Kazmierski, T., Zhou, D. and Al-Hashimi, B. (2007) A Fast, Numerical Circuit-Level Model of Carbon Nanotube Transistor. In: Nanoscale Architectures, 2007. NANOSARCH 2007. IEEE International Symposium on, 21-22 Oct. 2007, San Jose, CA. pp. 33-37.

L

Leuschel, M., Butler, M., Spermann, C. and Turner, E. (2007) Symmetry Reduction for B by Permutation Flooding. In: 7th International B Conference, January, Besancon. France.

Leuschel, M., Cansell, D. and Butler, M. (2007) Validating and Animating Higher-Order Recursive Functions in B. In: Festschrift for Egon Börger. (In Press)

M

Maneewatthana, T., Wills, G. and Hall, W. (2007) Adaptive Personal Information Environment based on the Semantic Web. Journal of Digital Information, 8 (3). pp. 64-74. ISSN 1368-7506

Millard, D., Fill, K., Gilbert, L., Howard, Y., Sinclair, P., Senbanjo, D. and Wills, G. (2007) Towards a Canonical View of Peer Assessment. In: International Conference on Advanced Learning Technologies (ICALT) 2007, July 18-20, Niigata, Japan.

Millard, D., Howard, Y., Abbas, N., Davis, H., Gilbert, L., Wills, G. and Walters, R. (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), November 26-28 2007, Halle, Germany.

N

Nicole, D. (2007) Stay unpopular-and get rich quick. Money Guardian . p. 4. ISSN 0261-3077

Nicole, D. and Panahi, T. (2007) Successful Indian model in producing modern computers. Digital, Tehran . p. 30.

Nicole, D. A. (2007) New Schools in the East and west of Southampton. VIEWPOINT : a paper for independent comment (456). pp. 1-7.

O

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. In: ASPDAC, 23 -27 January, Japan.

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. In: The 1st ACM/IEEE International Symposium on Networks-on-Chip, May 6th -9th 2007, Princeton, NJ. (In Press)

P

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2007) MyCoG.NET: A Multi-language CoG Toolkit. Concurrency and Computation: Practice and Experience, 19 (14). pp. 1885-1900. ISSN 1532-0626

Poppleton, M. (2007) Towards Feature-Oriented Specification and Development with Event-B. In: REFSQ 2007: Requirements Engineering: Foundation for Software Quality, June 2007, Trondheim, Norway. pp. 367-381.

R

Ramakrishnan, H., Chattopadhyay, S., Maharatna, K., Shedable, S. and Yakovlev, A. (2007) Exploration of potential of strained-Si CMOS for ultra low-power circuit design. In: 8th International Conference on Ultimate Integration on Silicon, Lueven. (In Press)

Ramkrishnan, H., Maharatna, K., Chattopadhyay, S., Yakovlev, A. and O'Neill, A. (2007) Impact of strain on the design of low-power high-speed circuits. In: IEEE International Symposium on Circuits and Systems, New Orleans.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In: Foundations of Software Science and Computation Structures, FOSSACS 2007. pp. 302-316.

Razali, R., Snook, C., Poppleton, M. and Garratt, P. (2007) Comprehensibility of UML-B - A Series of Controlled Experiments. Technical Report , DSSE/ECS, University of Southampton. (Unpublished)

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. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), 2-3 April 2007, Keele, Staffordshire, UK. pp. 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, 5 November 2007, Atlanta, Georgia, US. pp. 25-30.

Rezazadeh, A., Evans, N. and Butler, M. (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, 17 December 2007, London.

S

Satpathy, M., Butler, M., Leuschel, M. and Ramesh, S. (2007) Automatic Testing from Formal Specifications. In: International Conference on Tests And Proofs (TAP), 12-13 February 2007, ETH Zurich, Switzerland. (In Press)

Sitthisak, O., Gilbert, L. and Davis, H. 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, 11-12 January 2007, Manchester, UK.

Sitthisak, O., Gilbert, L. and Davis, H. C. (2007) Transforming a competency model to assessment items. In: PROLIX Workshop 2007 in conjunction with EC-TEL07, 18 September 2007, Crete, Greece.

Sitthisak, O., Gilbert, L., Davis, H. C. and Gobbi, M. (2007) Adapting health care competencies to a formal competency model. In: The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), July 18-20, 2007, Niigata, Japan.

Sitthisak, O., Gilbert, L., Zalfan, M. T. and Davis, H. C. (2007) Interactivity within IMS Learning Design and Question and Test Interoperability. In: the 3rd International Conference on Web Information Systems and Technologies (WEBIST), 3-6 March, Barcelona, Spain.

Stapenhurst, R., Maharatna, K., Matthew, J., Nunez-Yanez, J. and Pradhan, D. (2007) On the hardware reduction of z-datapath of vectoring CORDIC. In: IEEE International Sympsium on Circuits and Systems (ISCAS) 2007, New Orleans. (In Press)

T

Torre, S. L., Madhusudan, P. and Parlato, G. (2007) A Robust Class of Context-Sensitive Languages. In: LICS, 10-12 July 2007, Wroclaw, Poland. pp. 161-170.

Torre, S. L. and Parlato, G. (2007) On the Complexity of LtlModel-Checking of Recursive State Machines. In: ICALP, July 9-13, 2007, Wroclaw, Poland. pp. 937-948.

Troya, A., Maharatna, K., Krstic, M., Grass, E., Jagdhold, U. and Kraemer, R. (2007) Efficient inner-receiver design for OFDM-based WLAN systems: Algorithm and architecture. IEEE Transactions on Wireless Communications, 6 (4). pp. 1374-1385.

Turner, E., Leuschel, M., Spermann, C. and Butler, M. (2007) Symmetry Reduced Model Checking for B. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), June 6 - 8, 2007, ECNU, Shanghai, China. pp. 25-34.

V

Victor, Z. V. I., Tim, S. T. J., Vladimir, R. V. Y. and Ken, T. K. S. (2007) The Frederiks effect and related phenomena in ferronematic materials. Siam Journal on Applied Mathematics, 68 (6). pp. 1688-1716. ISSN 0036-1399

W

Wang, C., Davis, H., Dickens, K., Wills, G. and White, S. (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), July 18-20, 2007, Niigata, Japan. v-xix.

Wang, C., Dickens, K., Davis, H. and Wills, G. (2007) Community Tools for Repurposing Learning Objects. In: Second European Conference on Technology Enhanced Learning, 17-20 September 2007, Crete, Greece. pp. 378-392.

Wang, L., Kazmierski, T., Al-Hashimi, B., Beeby, S. and Torah, R. (2007) An Integrated Approach to Energy Harvester Modeling and Performance Optimization. In: IEEE Behavioral Modeling and Simulation Conference (BMAS 2007), September 20-21, 2007, San Jose, California, USA. pp. 121-125.

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. (2007) AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA). In: International CAA Conference, 10th - 11th July 2007., Loughborough UK.

Wills, G., Davis, H., Gilbert, L., Hare, J., Howard, Y., Jeyes, S., Millard, D. and Sherratt, R. (2007) Delivery of QTIv2 Question Types. In: International CAA Conference, 10th - 11th July 2007., Loughborough uk.

Wills, G. B., Abbas, N., Chandrasekharan, R., Crowder, R. M., Gilbert, L., Howard, Y., Millard, D. E., Wong, S. C. and Walters, R. J. (2007) An Agile Hypertext Design Methodology. In: 18th ACM Conference on Hypertext and Hypermedia, 10th - 12th September 2007, Manchester, UK.

Wong, S. C., Crowder, R. M., Wills, G. B. and Shadbolt, N. R. (2007) Informing Preliminary Design by Incorporating Service Knowledge. In: 16th International Conference on Engineering Design, 28-31 August, Paris.

Wong, S. C., Crowder, R. M., Wills, G. B. and Shadbolt, N. R. (2007) Lesson Learnt from a Large-Scale Industrial Semantic Web Application. In: 18th ACM Conference on Hypertext and Hypermedia, 10-12 September, Manchester, UK.

Y

Yadav, D. and Butler, M. (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In: Methods, Models and Tools for Fault Tolerance (MeMoT 2007), July 3, 2007, Oxford. pp. 33-42. (In Press)

Yadav, D. and Butler, M. (2007) Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B. Technical Report , School of Electronics and Computer Science, University of Southampton.

Yang, L. and Poppleton, M. (2007) Automatic Translation from Combined B and CSP specification to Java Programs. In: 7th International B Conference, 17-19 January 2007, Besancon, France. pp. 64-78.

Yang, L. and Poppleton, M. (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. In: Communicating Process Architectures, 9 July, 2007, Surrey. pp. 67-88.

Z

Zhang, Z., Reddy, S. M., Pomeranz, I., Rajski, J. and Al-Hashimi, B. M. (2007) Enhancing Delay Fault Coverage Through Low Power Segmented Scan. IEEProceedings: Computer and Digital Techniques . (In Press)

Zhang, Z., Reddy, S. M., Pomeranz, I., Rajski, J. and Al-Hashimi, B. M. (2007) Enhancing delay fault coverage through low power segmented scan. IEE Proceedings: Computer and Digital Techniques . (In Press)

Zhiyuan, H., Peng, Z., Eles, P., Rosinger, P. and Al-Hashimi, B. 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" . (Submitted)

This list was generated on Fri Oct 24 00:57:48 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