Items from Current ECS Groups > Electronic and Software Systems in 1997
(Grouped by Nothing)

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.