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: Authors/Creators | Item Type | No Grouping
Jump to: A | B | C | D | F | G | H | K | M | N | W
Number of items: 24.

A

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.

B

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.

C

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.

D

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.

F

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.

G

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.

H

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.

K

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.

M

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.

N

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.

W

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 Thu Jul 31 10:25:43 2014 BST.