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 1997
(Grouped by Nothing)

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
Number of items: 24.

Abeysinghe, G., Henderson, P., Phalp, K. and Walters, R. J. (1997) An Audience Centred Approach to Modelling for Business Processes ReEngineering. In: Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97). pp. 63-80.

Brown, M., Gunn, S. R., Ng, C. Y. and Harris, C. J. (1997) Neurofuzzy Systems Modelling: A Transparent Approach. In: Dealing with Complexity: A Neural Network Approach, Springer Verlag.

Butler, M. J. (1997) Action System Analysis of an Authentication Protocol (extended abstract). In: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 287-288.

Butler, M. J. (1997) An Approach to the Design of Distributed Systems with B AMN. In: Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 223-241.

Butler, M. J. (1997) Review of Abrial, J.-R. The B-Book. The Computer J., 40 (1). pp. 59-61. ISSN ISSN 0010-4620

Butler, M. J., Grundy, J., Långbacka, T., Ruksenas, R. and Wright, J. v. (1997) The Refinement Calculator: Proof Support for Program Refinement. In: Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 40-61.

Butler, M., Hartel, P., Jong, E. d. and Longley, M. (1997) Applying Formal Methods to the Design of Smart Card Software. Technical Report , Electronics and Computer Science, University of Southampton.

Crowder, R. M., Wills, G. B., Heath, I. and Hall, W. (1997) The Application of Hypermedia in the Factory Information Environment. In: Proceedings of Factory 2000, 5th IEE Conference on Factory Automation. 411--415.

Crowder, R. M., Wills, G. B., Heath, I. and Hall, W. (1997) An Open Hypermedia Solution to Information Overload in Industrial Applications. In: IEE colloquium on IT Strategies for Information Overload..

Dudek, F., Al-Hashimi, B. M. and Moniri, M. (1997) CMOS equaliser for compensating sinc(x) distortion of video D/A converters.

Fischer, B. and Schumann, J. (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In: 14th International Conference on Automated Deduction, July 1997, Townsville. pp. 65-68.

Gunn, S. R., Brown, M. and Bossley, K. M. (1997) Network Performance Assessment for Neurofuzzy Data Modelling. In: Lecture Notes in Computer Science. 313--323.

Gunn, S. R. and Nixon, M. S. (1997) A Robust Snake Implementation: A Dual Active Contour. IEEE Trans. on Pattern Analysis and Machine Intelligence, 19 (1). 63--68.

Hall, W., Weal, M. J., Heath, I., Wills, G. B. and Crowder, R. M. (1997) Flexible Interfaces in the Industrial Environment. In: International Conference Managing Enterprises- Stakeholders, Engineering, Logistics and Achievement (ME-SELA'97) Loughborough, UK.. 453--460.

Kollig, P. and Al-Hashimi, B. M. (1997) Simultaneous scheduling, allocation and binding in high level synthesis ndwidth.

Kollig, P. and Al-Hashimi, B. M. (1997) FPGA Implementation of high performance FIR Filters. In: UNSPECIFIED. pp. 2240-43.

Kollig, P., al-hashimi, b. m. and abbott, k. m. (1997) Efficient scheduling of behavioral descriptions in high-level synthesis.

Manjunathaiah, M. and Nicole, D. A. (1997) Precise analysis of array usage in scientific programs. Scientific Programming, 6 . pp. 229-42.

Mohammad, M., Moore, E., Carter, J. N., Shadle, C. H. and Gunn, S. R. (1997) Using MRI to Image the Moving Vocal Tract during Speech. In: Eurospeech '97. 2027--2030.

Moniri, M. and al-hashimi, b. m. (1997) Systematic generation of current mode dual ouput OTA filters using a building block approach.

Nixon, M. S., Ng, L. S., Benn, D. E. and Gunn, S. R. (1997) Considerations on extended feature vectors in automatic face recognition. In: IEEE International Conference on Systems, Man, and Cybernetics SMC 97. pp. 4075-4080.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1997) Evaluation of a User Interface Developed for Industrial Applications. Technical Report , UNSPECIFIED, University of Southampton.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1997) Factory Information Resource Management: Industrial Strength Hypermedia? Technical Report , UNSPECIFIED, University of Southampton.

Wills, G. B., Heath, I., Crowder, R. M. and Hall, W. (1997) Hypermedia Authoring in an Industrial Environment. Technical Report , UNSPECIFIED, University of Southampton.

This list was generated on Sat Oct 25 01:05:19 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