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 1997

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: 24.

Abeysinghe, G., Henderson, P., Phalp, K. and Walters, R.J., (1997) An Audience Centred Approach to Modelling for Business Processes ReEngineering Gyorkos, J., Krisper, M. and Mayr, H. C. (eds.) At 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, Warwick, K. (eds.) Dealing with Complexity: A Neural Network Approach. Springer Verlag

Butler, M. J., (1997) Action System Analysis of an Authentication Protocol (extended abstract) Groves, L. and Reeves, S. (eds.) At 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 Bowen, J., Hinchey, M. and Till, D. (eds.) At 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.

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

Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark (1997) Applying Formal Methods to the Design of Smart Card Software s.n.

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

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy (1997) An Open Hypermedia Solution to Information Overload in Industrial Applications At 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, Bernd and Schumann, Johann, (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse McCune, William (ed.) At 14th International Conference on Automated Deduction. , pp. 65-68.

Gunn, S.R., Brown, M. and Bossley, K.M., (1997) Network Performance Assessment for Neurofuzzy Data Modelling Liu, X., Cohen, P. and Berthold, M. (eds.) At 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, Wendy, Weal, Mark J., Heath, Ian, Wills, Gary B. and Crowder, Richard M. (1997) Flexible Interfaces in the Industrial Environment At 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 , 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, Denis 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 At 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 At IEEE International Conference on Systems, Man, and Cybernetics SMC 97. , pp. 4075-4080.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Evaluation of a User Interface Developed for Industrial Applications s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Factory Information Resource Management: Industrial Strength Hypermedia? s.n.

Wills, Gary B., Heath, Ian, Crowder, Richard M. and Hall, Wendy (1997) Hypermedia Authoring in an Industrial Environment s.n.

This list was generated on Thu Apr 13 06:14:02 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.

×