The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2005

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 108.

Article

Butler, Michael, Ferreira, Carla and Ng, Muan Yong (2005) Precise Modelling of Compensating Business Transactions and its Application to BPEL Journal of Universal Computer Science, 11, (5), pp. 712-743.

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2005) A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds Inf. Process. Lett., 94, (1), pp. 29-35.

Cazeaux, Manuel, Rossi, Daniele and Metra, Cecilia (2005) Self-checking voter for high speed TMR systems Journal of Electronic Testing, Theory and Applications (JETTA), 21, (4), pp. 377-389. (doi:10.1007/s10836-005-0838-4).

Crowder, Richard, Wills, Gary and Hall, Wendy (2005) Hypermedia maintenance support applications: Benefits and development costs Computers in Industry, 56, (7), pp. 681-698. (doi:10.1016/j.compind.2005.03.004).

Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2005) Synchronization Overhead in SOC Compressed Test IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 13, (1), pp. 140-152.

Henderson, Peter, Crouch, Stephen, Walters, Robert John and Ni, Qinglai, Card, D N(ed.) (2005) Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework Journal of Systems and Software, 76, (1), pp. 65-76.

Hennessy, Matthew, Yoshida, Nobuko and Rathke, Julian (2005) safeDpi: a language for controlling mobile code Acta Informatica, 42, (4), pp. 227-290.

Jafaipanah, Mehdi, Al-Hashimi, Bashir and White, Neil (2005) Dynamic sensor compensation using adaptive filter compatible with digital technology IEEE Proceedings on Circuits, Devices and Systems, 152, (6), pp. 745-751.

Jafaripanah, Mehdi, Al-Hashimi, Bashir and White, Neil M. (2005) Application of Analog Adaptive Filters for Dynamic Sensor Compensation IEEE Transaction On Instrumentation and Measurement, 54, (1), pp. 245-251.

Jafaripanah, Mehdi, Al-Hashimi, Bashir M. and White, Neil M. (2005) Dynamic Sensor Compensation Using Analogue Adaptive Filter Compatible with Digital Technology Accepted for publication in IEE Proc. Circuits, Devices & Systems

Jeffrey, Alan and Rathke, Julian (2005) Contextual equivalence for higher-order pi-calculus revisited Logical Methods in Computer Science, 1, (1)

Jeffrey, Alan and Rathke, Julian, Pierce, B(ed.) (2005) A fully abstract may testing semantics for concurrent objects Theoretical Computer Science, 338, (1-3), pp. 17-63.

Lack, Stephen and Sobocinski, Pawel (2005) Adhesive and quasiadhesive categories Theoretical Informatics and Applications, 39, (2), pp. 522-546.

Maharatna, Koushik, Banerjee, Swapna, Grass, Eckhard, Krstic, Milos and Troya, Alfonso (2005) Modified virtually scaling free adaptive CORDIC rotator algorithm and architecture IEEE Transactions on Circuits and Ssystems for Video Technology, 15, (11), pp. 1463-1474.

Nitsun, M, Ryan, M, Gilbert, L and Mason, H (2005) A Prospective Study of the Effectiveness of Group and Individual Psychotherapy for Women CSA Survivors Psychology and Psychotherapy, 78, (4), pp. 419-469.

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2005) Low cost and high speed embedded two-rail code checker IEEE Transactions on Computers, 54, (2), pp. 153-164. (doi:10.1109/TC.2005.30).

Rosinger, Paul, Al-Hashimi, Bashir and Chakrabarty, Krishnendu (2005) Thermal-Safe Test Scheduling for Core-Based System-on-a-Chip Integrated Circuits IEEE Transactions on Computer Aided Design, 25, (11), pp. 2502-2512.

Rossi, Daniele, Nieuwland, Andre, Katoch, Atul and Metra, Cecilia (2005) Exploiting ECC redundancy to minimize crosstalk impact IEEE Design & Test of Computers, 22, (1), pp. 59-70. (doi:10.1109/MDT.2005.10).

Rossi, Daniele, Nieuwland, Andre, Katoch, Atul and Metra, Cecilia (2005) New ECC for crosstalk impact minimization IEEE Design & Test of Computers, 22, (4), pp. 340-348. (doi:10.1109/MDT.2005.91).

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories Theoretical Computer Science, 333, (1-2), pp. 297-327.

Satpathy, Manoranjan, Leuschel, Michael and Butler, Michael, Gurevich, Yuri, Petrenko, Alexander K. and Kossatchev, Alexander(eds.) (2005) ProTest: An Automatic Test Environment for B Specifications Electronic Notes in Theoretical Computer Science, 111, pp. 113-136. (doi:10.1016/j.entcs.2004.12.009).

Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (2005) Co-Synthesis of Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities IEEE Transactions on Computer-Aided Design

Schmitz T., Marcus, Al-Hashimi, Bashir M. and Eles, Petru (2005) Co-Synthesis of Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 24, (2), pp. 153-169.

Shi, D., Ng, G. S., Damper, R. I. and Gunn, S. R. (2005) Radical recognition of handwritten Chinese characters using GA-based kernel active shape modelling IEE Proceedings: Vision, Image and Signal Processing, 152, (5), pp. 634-638.

Varea, Mauricio, Al-Hashimi, Bashir M., Cortés, Luis A., Eles, Petru and Peng, Zebo (2005) Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems ACM Transactions on Embedded Computing Systems (TECS)

Walters, Robert John, Card, D N(ed.) (2005) Checking of models built using a graphically based formal modelling language Journal of Systems and Software, 76, (1), pp. 55-64.

Watkins, E Rowland and Nicole, Denis A, Arabnia, Hamid R and Reza, Hassan(eds.) (2005) Version Control in Online Software Repositories Proceedings of the 2005 International Conference on Software Engineering Research and Practice, II, pp. 550-556.

Watkins, E Rowland and Nicole, Denis A (2005) Version Control in Online Software Repositories ACM TechNews, 7, (872)

Wilcock, Reuben, Al-Hasmimi, Bashir M. and Wilson, Peter (2005) Integrated High Bandwidth Wave Elliptic Low-Pass Switched-Current Filter in Digital CMOS Technology Electronics Letters

Wills, Gary, Miles-Board, Timothy, Bailey, Christopher, Carr, Leslie, Gee, Quintin, Hall, Wendy and Grange, Simon, Buckingham Shum, Simon(ed.) (2005) The Dynamic Review Journal: a scholarly archive New Review of Hypermedia and Multimedia, 11, (1), pp. 69-89.

Book

Butler, Michael, Jones, Cliff, Romanovsky, Alexander and Troubitsyna, Elena (2005) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)., University of Newcastle upon Tyne, School of Computing Science (Technical Report Series, CS-TR-).

Ciaffaglione, Alberto, Hennessy, Matthew and Rathke, Julian (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus, Springer-Verlag (Lecture Notes in Computer Science 3731, Computer Scienc, Proc.).

Jeffrey, Alan and Rathke, Julian (2005) Full abstraction for Polymorphic Pi-Calculus, Springer-Verlag (Lecture Notes in Computer Science, Proc.).

Book Section

Lo Presti, S, Butler, M, Leuschel, M and Booth, C (2005) A Trust Analysis Methodology for Pervasive Computing Systems In, Falcone, R, Barber, S, Sabater, J and Singh, M (eds.) Trusting Agents for trusting Electronic Societies, LNCS Volume 3577. Springer (doi:10.1007/11532095).

Conference or Workshop Item

Andrei, Alexandru, Schmitz, Marcus T, Eles, Petru, Peng, Zebo and Al-Hashimi, Bashir M (2005) Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints At Design, Automation and Test Europe Conference (DATE2005), Germany.

Argles, David, Gee, Quintin and Wills, Gary (2005) Developing a Computing Degree to Encourage Widening Participation At The 6th Annual Higher Education Academy Subject Network for Information Computer Science, United Kingdom. 30 Aug - 01 Sep 2005. , pp. 135-139.

Argles, David and Wills, Gary, (2005) CECIL – A Language for Learning Hardware Design Kommers, Piet and Richards, Griff (eds.) At EdMedia--World Conference on Educational Multimedia, Hypermedia & Telecomunications, Canada. 28 Jun - 02 Jul 2005. , pp. 4181-4188.

Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, (2005) Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) At FM 2005: International Symposium of Formal Methods Europe, United Kingdom. 18 - 22 Jul 2005. , pp. 382-398.

Bruni, Roberto, Butler, Michael, Ferreira, Carla, Hoare, Tony, Melgratti, Hernan and Montanari, Ugo (2005) Comparing two approaches to compensable flow composition At CONCUR 2005. 23 - 26 Aug 2005.

Butler, Michael, Hoare, C.A.R. and Ferreira, Carla, (2005) A trace semantics for long-running transactions Abdallah, A.E., Jones, C.B. and Sanders, J.W. (eds.) At 25 Years of CSP. , pp. 133-150.

Butler, Michael and Leuschel, Michael, (2005) Combining CSP and B for Specification and Property Verification Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) At Formal Methods 2005. 18 - 22 Jul 2005. , pp. 221-236.

Butler, Michael, Leuschel, Michael and Snook, Colin (2005) Tools for system validation with B abstract machines At ASM 2005: 12th International Workshop on Abstract State Machines.

Butler, Michael and Ripon, Shamim, (2005) Executable Semantics for Compensating CSP Bravetti, Mario, Kloul, Leïla and Zavattaro, Gianluigi (eds.) At 2nd International Workshop on Web Services and Formal Methods. , 243- 256. (doi:10.1007/11549970_18).

Cai, Yuan, Reddy, Sudhakar, Pomeranz, Irith and Al-Hashimi, Bashir M. (2005) Battery-aware dynamic voltage scaling in multiprocessor embedded system At IEEE ISCAS, Japan.

Cai, Yuan, Schmitz, Marcus T., Al-Hashimi, Bashir M. and Reddy, Sudhakar M. (2005) Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints At IFIP International Conference on Very Large Scale Integration (VLSI-SOC), Australia.

Cazeaux, Jose Manuel, Rossi, Daniele, Omana, Martin, Chatterjee, Abhijit and Metra, Cecilia (2005) On-transistor level gate sizing for increased robustness to transient faults At 11th IEEE International On-Line Testing Symposium (IOLTS 2005), France. 06 - 08 Jul 2005. , pp. 23-28. (doi:10.1109/IOLTS.2005.49).

Collins, Matthew, Al-Hashimi, Bashir and Ross, Neil (2005) A Programmable Time Measurement Architecture for Embedded Memory Characterization At 10th IEEE European Test Symposium (ETS'05), Estonia. 22 - 25 May 2005. , pp. 128-133.

Conole, G, Miles-Board, T, Bailey, C, Carr, L, Gee, Q, Grange, S, Hall, W, Power, G, Woukeu, A and Wills, G (2005) Tool Kits for a Dynamic Review Journal At EDMEDIA 2005 - World Conference on Education Multimedia, Hypermedia and Telecommunications., Canada. 27 Jun - 02 Jul 2005.

Crouch, Stephen, Henderson, Peter and Walters, Robert John, (2005) Building applications able to cope with problematic data using a datawarp approach Chen, Chi-Sheng, Filipe, Joaquim, Seruca, Isabel and Cordeiro, Jose (eds.) At Seventh International Conference on Enterprise Information Systems, United States. 25 - 28 May 2005. , pp. 411-414.

Ejlali, Alireza, Schmitz, Marcus, Al-Hashimi, Bashir M, Miremadi, Seyed Ghassem and Rosinger, Paul (2005) Energy Efficient SEU-Tolerance in DVS-Enabled Real-Time Systems through Information Redundancy At International Symposium on Low Power Electronics and Design (ISLPED 2005), United States. 08 - 10 Aug 2005.

El-Maleh, Aiman, Khursheed, Syed Saqib and M. Sait, Sadiq (2005) Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse Order Restoration and Test Relaxation At Asian Test Symposium.

Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco and Ventre, Carmine (2005) Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents At WAOA. , pp. 147-160.

Garratt, P.W. and Jam, E.R. (2005) Open Source Planning and Management Tool PPMT At ICMS'05 International Conference on Modeling and Simulatio, Morocco. 22 - 24 Nov 2005.

Gee, Quintin, Carr, Leslie, Conole, Gráinne, Grange, Simon, Hall, Wendy and Wills, Gary (2005) Building a Virtual University for Orthopaedics At IFIP World Conference on Computers in Education 2005, South Africa. 04 - 07 Jul 2005.

Gee, Quintin H, Wills, Gary and Cooke, Eric (2005) A first programming language for IT students At 6th Annual Conference of the LTSN Centre for ICS, United Kingdom. 30 Aug - 01 Sep 2005.

Gilbert, Lester, Sim, Yee-Wai and Wang, Chu (2005) An e-Learning Systems Engineering Methodology At The 5th IEEE International Conference on Advanced Learning Technologies, Taiwan, Province of China. 05 - 08 Jul 2005. , pp. 150-154.

Gilbert, Lester, Sim, Yee-Wai and Wang, Chu (2005) Modelling the Learning Transaction At The 5th IEEE International Conference on Advanced Learning Technologies, Taiwan, Province of China. 05 - 08 Jul 2005. , pp. 615-616.

Gilbert, Lester, Wills, Gary, Sim, Yee-Wai, Wang, Chu and Stenning, Matt (2005) e-Learning within a Collaborative Orthopaedic Research Environment (CORE) At Association for Learning Technology (ALT-C 2005). 06 - 08 Sep 2005. , pp. 79-80.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. (2005) Adaptive band selection for hyperspectral image fusion using mutual information At 8th International Conference on Information Fusion. , pp. 630-637.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. (2005) Hyperspectral image fusion using spectrally weighted kernels At 8th International Conference on Information Fusion. , pp. 402-408.

Huggett, Clare, Maharatna, Koushik and Paul, Kolin (2005) On the implementation of 128-pt FFT/IFFT for high-performance WPAN At IEEE International Symposium on Circuits and Systems (ISCAS) 2005, Japan. , pp. 5513-5516.

Jafaripanah, Mehdi, Al-Hashimi, Bashir M. and White, Neil M. (2005) Adaptive Sensor Response Correction Using Analog Filter Compatible with Digital Technology At IEEE International Symposium on Circuits and Systems ( ISCAS 2005), Japan. 23 - 26 May 2005.

Jeffrey, Alan and Rathke, Julian (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. At European Symposium on Programming, part of ETAPS. , pp. 423-438.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory At First International Conference on Algebras and Coalgebras in Computer Science.. , pp. 30-50.

Leuschel, Michael and Butler, Michael (2005) Automatic Refinement Checking for B At ICFEM'05.

Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2005) Adaptive Personal Information Environment based on the Semantic Web At HT 2005 - Sixteenth ACM Conference on Hypertext and Hypermedia, Austria. 06 - 09 Sep 2005.

Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2005) Adaptive Personal Information Environment based on the Semantic Web At HT 2005 - ACM Workshop on Hypertext and Hypermedia, Austria. 06 - 09 Sep 2005.

Merrett, Geoff, Al-Hashimi, Bashir M., White, Neil M. and Harris, Nick R. (2005) Information Managed Wireless Sensor Networks with Energy Aware Nodes At 2005 NSTI Nanotechnology Conference and Trade Show (NanoTech 2005). 08 - 12 May 2005. , pp. 367-370.

Merrett, Geoff V., Al-Hashimi, Bashir M., White, Neil M. and Harris, Nick R. (2005) Resource Aware Sensor Nodes in Wireless Sensor Networks At Sensors & their Applications XIII. 06 - 08 Sep 2005. , pp. 137-142.

Metra, Cecilia, Omana, Martin, Rossi, Daniele, Cazeaux, Jose' Manuel and Mak, T.M. (2005) The other side of the timing equation: a result of clock faults At 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2005), United States. 03 - 05 Oct 2005. , pp. 169-177. (doi:10.1109/DFTVS.2005.65).

Miles-Board, Timothy, Woukeu, Arouna, Carr, Leslie, Wills, Gary and Hall, Wendy (2005) Bringing the Semantic Web to the Office Desktop At 2005 ACM International Symposium on Document Engineering, United Kingdom. 02 - 04 Nov 2005.

Millard, David, Howard, Yvonne, Bailey, Christopher, Davis, Hugh, Gilbert, Lester, Jeyes, Steve, Price, Joseph, Sclater, Niall, Sherratt, Robert, Tulloch, Iain, Wills, Gary and Young, Rowin (2005) Mapping the e-Learning Assessment Domain: Concept Maps for Orientation and Navigation At e-Learn 2005, Canada. 24 - 28 Oct 2005.

Nicole, Denis A., (2005) UNICORE and GRIP: experiences of grid middleware development Arabnia, Hamid R. and Ni, Jun (eds.) At 2005 International Conference on Grid Computing and Applications, United States. 20 - 23 Jun 2005. , pp. 1-17.

Nieuwland, Andre, Katoch, Atul, Rossi, Daniele and Metra, Cecilia (2005) Coding techniques for low switching noise in fault tolerant busses At 11th IEEE International On-Line Testing Symposium, France. 06 - 08 Jul 2005. , pp. 183-189. (doi:10.1109/IOLTS.2005.19).

Ochoa-Montiel, M A, Al-Hashimi, B M and Kollig, P (2005) Impact of Multicycled Scheduling on Power-Area Tradeoffs in Behavioural Synthesis At 2005 IEEE International Symposium on Circuits and Systems (ISCAS), Japan. 23 - 26 May 2005.

Ogg, S and Al-Hashimi, B (2005) Improved Data Compression for Serial Interconnected Network on Chip through Unused Significant Bit Removal At 19th International Conference on VLSI Design, India. 03 - 07 Jan 2006.

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2005) Low cost scheme for on-line clock skew compensation At 23rd IEEE VLSI Test Symposium. Proceedings, United States. 01 - 05 May 2005. , pp. 90-95. (doi:10.1109/VTS.2005.52).

Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method At 4th International Conference of B and Z Users (ZB 2005).

Rogers, J.D. and Gunn, S.R. (2005) Identifying Feature Relevance using a Random Forest At Subspace, Latent Structure and Feature Selection techniques: Statistical and Optimisation perspectives Workshop, Slovenia.

Rosinger, Paul, Al-Hashimi, Bashir and Chakrabarty, Krishnendu (2005) Rapid generation of thermal-safe test schedules At Design Automation and Test in Europe (DATE), Germany. 07 - 11 Mar 2005.

Rossi, Daniele, Omana, Martin, Toma, Fabio and Metra, Cecilia (2005) Multiple transient faults in logic: an issue for next generation ICs? At 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2005), United States. 03 - 05 Oct 2005. , pp. 352-360. (doi:10.1109/DFTVS.2005.47).

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets At International Workshop on Petri Nets and Graph Transformations.. , pp. 107-120.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans At 20th Symposium on Logic in Computer Science, LICS 2005.. , pp. 311-320.

Shafik, Rishad Ahmed, Weiss, Stephan and Rogers, E.T.A., (2005) A DSP-Based Approach to Congestion Control for Multihop Ad Hoc WLANs with BoD Access Weiss, S. (ed.) At 2nd IEE/EURASIP Conference on DSP Enabled Radio. 19 - 20 Sep 2005. , 31/1-31/9.

Sim, Y. W., Wang, C., Carr, L. A., Davis, H. C., Gilbert, L., Grange, S., Millard, D. E. and Wills, G. B. (2005) A Web/Grid Services Approach for a Virtual Research Environment Implementation At the Fourth e-Science All Hands Meeting (AHM 2005), United Kingdom.

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) Towards a Collaborative Orthopaedic Research Environment At the IEEE 1st International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER'05), France.

Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) The engineering of generic requirements for failure management Kamsties, Erik, Gervasi, Vincenzo and Sawyer, Pete (eds.) At Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality. 13 - 14 Jun 2005. , pp. 145-160.

Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) Towards a methodology for rigorous development of generic requirements patterns Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) At Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom. , pp. 17-27.

Tafaj, Enkelejda, Rosinger, Paul, Al-Hashimi, Bashir and Chakrabarty, Krisnendu (2005) Improving Thermal-Safe Test Scheduling for Core-Based Systems-on-Chip Using Shift Frequency Scaling At International Symposium on Defect and Fault Tolerance in VLSI Systems. 03 - 05 Oct 2005.

Walters, Robert John and Crouch, Stephen (2005) M-grid: Using Ubiquitous Web Technologies to create a Computational Grid At European Grid Conference (EGC) 2005. 14 - 16 Feb 2005.

Wilcock, Reuben, Wilson, Peter R. and Al-Hashimi, Bashir (2005) A Novel Switch-Current Phase Locked Loop At ISCAS 2005, Japan.

Wills, GB, Gilbert, L, Gee, Q, Davis, HC, Miles-Board, T, Millard, DE, Carr, LA, Hall, W and Grange, S (2005) A Grid Services Implementation for a Virtual Research Environment At 1st International ELeGI Conference on Advanced Technology for Enhanced Learning, Italy. 14 - 16 Mar 2005.

Wills, GB, Gilbert, L, Gee, Q, Davis, HC, Miles-Board, T, Millard, DE, Carr, LA, Hall, W and Grange, S (2005) Towards Grid Services for a Virtual Research Environment At The 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), Taiwan, Province of China. 05 - 08 Jul 2005. , pp. 863-867.

Wilson, Peter R., Brown, Andrew D., Wilcock, Reuben and Al-Hashimi, Bashir (2005) Behavioural modeling and simulation of a switch-current phase locked loop At IEEE International Behavioral Modeling and Simulation Conference, United States.

Wilson, Peter R., Swabey, Matthew, Brown, Andrew D. and Ross, J. Neil (2005) An Intelligent Fuse-box for use with Renewable Energy Sources integrated within a Domestic Environment At World renewable Energy Congress, United Kingdom.

Wu, Dong, Al-Hashimi, Bashir M, Schmitz, Marcus T and Eles, Petru (2005) Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction At 8th EUROMICRO Conference on Digital System Design, Portugal. 30 Aug - 03 Sep 2005.

Yadav, Divakar and Butler, Michael (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions At Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005). 18 - 22 Jul 2005. , pp. 93-102.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition At OnTheMove Workshops, Cyprus. , pp. 39-48.

Yang, Jingtao, Cirstea, Corina and Henderson, Peter (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services At The 5th International Conference on Quality Software (QSIC 2005), Australia. , pp. 446-451.

Monograph

Ciaffaglione, Alberto, Hennessy, Matthew and Rathke, Julian (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus s.n.

Lo Presti, Stephane and Butler, Michael (2005) Literature Survey on Trust s.n.

Shafik, Rishad Ahmed (2005) Personal multimedia communications: simulations and analyses University of Southampton

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) An Overview of Service-Oriented Architecture s.n.

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) User Requirement Study for a Virtual Research Environment s.n.

Stenning, M., Grange, S., Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. (2005) CORE User Requirement Study s.n.

Wang, C., Sim, Y. W., Gilbert, L. and Wills, G. B. (2005) Integrating Service Oriented Architecture with a Virtual Research Environment s.n.

Wills, G. B., Gilbert, L., Sim, Y. W., Wang, C. and Carr, L. (2005) Virtual Research Environments: A Literature Review s.n.

Thesis

Shafik, Rishad Ahmed (2005) Congestion Control of Ad Hoc Wireless LANs: A Control-theoretic paradigm to digital filter based solution University of Southampton, School of Electronics and Computer Science, Masters Thesis .

This list was generated on Wed Apr 12 08:52:18 2017 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×