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. Proc. 5th Int. Conf. Re-technologies for Information Systems (ReTis'97) OCG Osterreichische Computer Gesellschaft Vienna Lecture Notes 107, 63-80.

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

Butler, M. J. (1997) Action System Analysis of an Authentication Protocol (extended abstract). Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science Springer-Verlag, Berlin, 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 Springer-Verlag, Berlin, 223-241.

Butler, M. J. (1997) Review of Abrial, J.-R. The B-Book. The Computer J., 40, (1), 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. In, Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science Springer-Verlag, Berlin, 40-61.

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

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

Crowder, Richard M., Wills, Gary B., Heath, Ian and Hall, Wendy (1997) An Open Hypermedia Solution to Information Overload in Industrial Applications. 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. Electronics Letters, 33, (19), 1618-19.

Fischer, Bernd and Schumann, Johann (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. In, 14th International Conference on Automated Deduction, Townsville, Springer Verlag, 65-68.

Gunn, S.R., Brown, M. and Bossley, K.M. (1997) Network Performance Assessment for Neurofuzzy Data Modelling. 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. 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. Electroincs Letters, 33, (18), 1516-18.

Kollig, P. and Al-Hashimi, B.M. (1997) FPGA Implementation of high performance FIR Filters. UNSPECIFIED IEEE International Symposium on Circuits and Systems, 2240-43.

Kollig, P., al-hashimi, b.m. and abbott, k.m. (1997) Efficient scheduling of behavioral descriptions in high-level synthesis. IEE Proceedings on Computers and Digital Techniques, 144, (2), 75-82.

Manjunathaiah, M. and Nicole, Denis A (1997) Precise analysis of array usage in scientific programs. Scientific Programming, 6, 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. 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. International Journal of Electronics, 83, (1), 37-48.

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

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

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

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

This list was generated on Tue Nov 25 01:40:06 2014 GMT.