Faculty of Computing, Engineering and the Built Environment

Filter
Conference contribution

Search results

  • 2004

    Verification and implementation of delay-insensitive processes in restrictive environments

    Kapoor, H. K., Josephs, M. B. & Furey, D. P., 2004, Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. Kishinesky, M. & Darondeau, P. (eds.). p. 89-98 10 p. (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 2003

    A Dynamic VR System For Visualizing Construction Space Usage

    Heesom, D., Mahdjoubi, L. & Proverbs, D., 2003, Construction Research Cogress, Winds of Change: Integration and Innovation in Construction, Proceedings of the Congress. Molenaar, K. R. & Chinowsky, P. S. (eds.). p. 997-1004 8 p. (Contruction Research Congress, Winds of Change: Integration and Innovation in Construction, Proceedings of the Congress).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Citations (SciVal)

  • An intelligent hybrid neuro-fuzzy rule-based system for prognostic decision making in prostate cancer patients

    Seker, H., Odetayo, M. O., Petrovic, D., Naguib, R. N. G. & Hamdy, F. C., 2003, Conference Proceedings - 4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine 2003: New Solutions for New Challenges, ITAB 2003. Institute of Electrical and Electronics Engineers Inc., p. 230-233 4 p. 1222519. (Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (SciVal)

  • Building supply chain relationships with knowledge management: Engineering trust in collaborative systems

    Perkins, J., Jorgensen, A. K., Barton, L. & Cox., S., 2003, ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems. Hammoudi, S., Piattini, M., Camp, O. & Filipe, J. (eds.). Escola Superior de Tecnologia do Instituto Politecnico de Setubal, p. 63-70 8 p. (ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems; vol. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Defending essential processes

    Alderson, A., Salter, A., Shah, H. & Sharp, B., 2003, ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems. Hammoudi, S., Filipe, J., Piattini, M. & Camp, O. (eds.). Escola Superior de Tecnologia do Instituto Politecnico de Setubal, p. 197-200 4 p. (ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications

    Abdallah, A. E. & Hawkins, J., 2003, Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003. Sprague, R. H. (ed.). Institute of Electrical and Electronics Engineers Inc., 1174808. (Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Citations (Scopus)

  • The Development of Appropriate Measurements for the International Comparison of Contractor Performance

    Xiao, H., Proverbs, D. G. & Heesom, D., 2003, Construction Research Cogress, Winds of Change: Integration and Innovation in Construction, Proceedings of the Congress. Molenaar, K. R. & Chinowsky, P. S. (eds.). p. 159-166 8 p. (Contruction Research Congress, Winds of Change: Integration and Innovation in Construction, Proceedings of the Congress).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Tracker: A framework to support reducing rework through decision management

    Rayson, P., Sharp, B., Alderson, A., Cartmell, J., Chibelushi, C., Clarke, R., Dix, A., Onditi, V., Quek, A., Ramduny, D., Salter, A., Shah, H., Sommerville, I. & Windridge, P., 2003, ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems. Hammoudi, S., Filipe, J., Camp, O. & Piattini, M. (eds.). Escola Superior de Tecnologia do Instituto Politecnico de Setubal, p. 344-351 8 p. (ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)
  • 2002

    An overview of systematic development of parallel systems for reconfigurable hardware

    Hawkins, J. & Abdallah, A. E., 2002, Euro-Par 2002 Parallel Processing - 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings. Monien, B. & Feldmann, R. (eds.). Springer Verlag, p. 615-619 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2400).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)
  • 2001

    A functional view of parallel computer graphics

    Abdallah, A. E. & Theoharis, T., 2001, Proceedings - ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2001. IEEE Computer Society, p. 242-249 8 p. 933983. (Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA; vol. 2001-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A generic functional genetic algorithm

    Hawkins, J. & Abdallah, A., 2001, Proceedings - ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2001. IEEE Computer Society, p. 11-17 7 p. 933945. (Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA; vol. 2001-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)

  • Domain-specific metadata a key for building semantically-rich schema models

    Tawil, A. R. H., Fiddian, N. J. & Gray, W. A., 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jajodia, S., Kunii, H. S. & Solvberg, A. (eds.). Springer Verlag, p. 225-240 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2224).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2000

    An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

    Abdallah, A. E. & Green, M., 2000, ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods. McDermid, J. A., Liu, S. & Hinchey, M. G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 189-198 10 p. 873819. (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Calculational design of special purpose parallel algorithms

    Abdallah, A. E. & Hawkins, J., 2000, ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems. p. 261-267 7 p. 911533. (Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Citations (Scopus)

  • Design of a distributed neuro-genetic learning architecture

    Krasniewicz, J., Winfield, M. J. & Green, P., 2000, 4th International Conference on Knowledge-Based Intelligent Engineering Systems and Allied Technologies, KES 2000 - Proceedings. Howlett, R. J. & Jain, L. C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 612-615 4 p. (4th International Conference on Knowledge-Based Intelligent Engineering Systems and Allied Technologies, KES 2000 - Proceedings; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Discovering and representing interschema semantic knowledge in a cooperative multi-information server environment

    Tawil, A. R. H., Gray, W. A. & Fiddian, N. J., 2000, Database and Expert Systems Applications - 11th International Conference, DEXA 2000, Proceedings. Ibrahim, M., Kung, J. & Revell, N. (eds.). Springer Verlag, p. 548-562 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1873).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Filter promotion transformation strategies for deriving efficient programs from Z specifications

    Abdallah, A. E., 2000, ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods. McDermid, J. A., Liu, S. & Hinchey, M. G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 157-167 11 p. 873816. (ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Formal development of a reconfigurable tool for parallel DNA matching

    Abdallah, A. E., Simiakakis, G. & Theoharis, T., 2000, ICECS 2000 - 7th IEEE International Conference on Electronics, Circuits and Systems. p. 268-272 5 p. 911534. (Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Results and Observations from the Construction of Object Oriented & Distributed Neuro-Genetic Learning Architectures

    Krasniewicz, J. A., Winfield, M. J. & Dingley, S., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 876-879 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 1999

    Designing a Computer-Aided-Learning application using multimedia to train inexperienced Building Surveyors in Building Pathology

    Shelbourn, M., Aouad, G. & Hoxley, M., 1999, Proceedings - 1999 IEEE International Conference on Information Visualization: An International Conference on Computer Visualization and Graphics, IV 1999. Ursyn, A., Banissi, E., Sarfraz, M., Tatham, E. & Khosrowshahi, F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 50-55 6 p. 781535. (Proceedings of the International Conference on Information Visualisation; vol. 1999-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1998

    3D RANS calculations of flow through turbine volutes

    Hasan, R. G. M. & McGuirk, J. J., 1998, Turbomachinery. American Society of Mechanical Engineers, (Proceedings of the ASME Turbo Expo; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • A graphical tool for the visualization and animation of communicating sequential processes

    Abdallah, A. E., 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 165-172 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Formal derivation of a loadable asynchronous counter

    Josephs, M. B., 1998, Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. Jeuring, J. (ed.). Springer Verlag, p. 234-253 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1422).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Ontological commitments for multiple view cooperation in a distributed heterogeneous environment

    Tawil, A. R. H., Gray, W. A. & Fiddian, N. J., 1998, Advances in Databases - 16th British National Conference on Databases BNCOD 1998, Proceedings. Embury, S. M., Fiddian, N. J., Gray, W. A. & Jones, A. C. (eds.). Springer Verlag, p. 179-180 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1405).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 1997

    The design and implementation of a multimedia system for the interactive and time-synchronised analysis of vehicle crash tests

    Cole, A., Robinson, J. & Athwal, C., 1997, Multimedia Applications, Services and Techniques-ECMAST 1997 - 2nd European Conference, Proceedings. Fdida, S. & Morgant, M. (eds.). Springer Verlag, p. 80-94 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1242).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 1996

    Some limitations to speed-independence in asynchronous circuits

    Bush, M. E. & Josephs, M. B., 1996, Proceedings - 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1996. Institute of Electrical and Electronics Engineers Inc., p. 104-111 8 p. 494442. (Proceedings - 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)

  • Synthesis of massively pipelined algorithms for list manipulation

    Abdallah, A. E., 1996, Euro-Par 1996 Parallel Processing - 2nd International Euro-Par Conference, Proceedings. Bouge, L., Fraigniaud, P., Mignotte, A. & Robert, Y. (eds.). Springer Verlag, p. 911-920 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1124).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    14 Citations (Scopus)
  • 1995

    Derivation of parallel algorithms from functional specifications to CSP processes

    Abdallah, A. E., 1995, Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings. Moller, B. (ed.). Springer Verlag, p. 67-96 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 947).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Citations (Scopus)
  • 1993

    An overview of D-I algebra

    Josephs, M. B. & Udding, J. T., 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE Computer Society, p. 329-338 10 p. 270632. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Citations (Scopus)
  • 1991

    An algebra for Delay-Insensitive circuits

    Josephs, M. B. & Udding, J. T., 1991, Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. Clarke, E. M. & Kurshan, R. P. (eds.). Springer Verlag, p. 343-352 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 531 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    8 Citations (Scopus)
  • 1990

    Delay-insensitive circuits: An algebraic approach to their design

    Josephs, M. B. & Udding, J. T., 1990, CONCUR 1990 - Theories of Concurrency: Unification and Extension, Proceedings. Klop, J. W., Baeten, J. C. M., Klop, J. W. & Baeten, J. C. M. (eds.). Springer Verlag, p. 342-366 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 458 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    19 Citations (Scopus)
  • 1984

    Shared Solar Space And Water Heating

    Thring, J. B. & Boyd, D., 1984, Commission of the European Communities, (Report) EUR. D. Reidel Publ Co, p. 721-724 4 p. (Commission of the European Communities, (Report) EUR).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1982

    DESIGN AND ECONOMIC ANALYSIS OF SOLAR HEATING SYSTEMS INTEGRAL WITH HOUSING.

    Maw, R., Boyd, D. & Thring, J. B., 1982, Unknown Host Publication Title. Pergamon Press, p. 355-360 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • DESIGN OF EMITTERS, CONTROLS AND AUXILIARY HEAT GENERATORS FOR COST-EFFECTIVE SOLAR HEATING.

    Taylor, S. R. G. & Boyd, D., 1982, Unknown Host Publication Title. Pergamon Press, p. 281-285 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • EXPERIMENTAL INVESTIGATION OF THE PERFORMANCE OF SEMI-TRANSPARENT SOLAR PANELS IN IMPROVING THE UTILISATION OF SOLAR ENERGY IN GREENHOUSES.

    Stephenson, P. M. & Boyd, D., 1982, Unknown Host Publication Title. Pergamon Press, p. 1067-1071 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)