Home > Research > Computing and Communications > Publications & Outputs
View graph of relations

Computing and Communications

  1. 2002
  2. Published

    Comparison of the high-latitude ionospheric electric-field models with the EISCAT radar data

    Golyshev, S. A., Levitin, A. E. & Kosch, M. J., 2002, In: Geomagnetism and Aeronomy. 42, 2, p. 196-198 3 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Component-based synthesis of dependable embedded software

    Jhumka, A., Hiller, M. & Suri, N., 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer-Verlag, Vol. 2469. p. 111-128 18 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  4. Published

    Component-oriented approach to adaptive collaborative visualization

    Gallop, J. R., Blair, G., Cooper, C. S., Coulson, G., Duce, D. A., Fitzpatrick, T. & Johnson, I. J., 2002, Visualization and Data Analysis 2002. Erbacher, R. F., Chen, P. C., Grohn, M., Roberts, J. C. & Wittenbrink, C. M. (eds.). Bellingham, Wash.: SPIE-INT SOC OPTICAL ENGINEERING, p. 99-104 6 p. (Proceedings of SPIE; vol. 4665).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Conference Proceedings of the 2002 IEEE International Performance, Computing, and Communications Conference

    Diethelm, M. A. (Editor), Helal, S. (Editor), Long, D. D. E. (Editor), Wilson, L. F. (Editor) & Xue, G., 2002, IEEE.

    Research output: Book/Report/ProceedingsProceedings

  6. Published

    Core specification and experiments in DIET: a decentralised ecosystem-inspired mobile agent system

    Hoile, C., Wang, F., Bonsma, E. & Marrow, P., 2002, AAMAS '02 The First International Joint Conference on Autonomous Agents and Multi-Agent Systems (formerly known as Autonomous Agents). New York: ACM Press, p. 623-630 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Digging into Concurrency

    Chandler, A., Patching, S. & Blair, L., 2002, Concurrency in Dependable Computing. Ezhilchelvan, P. & Romanovsky, A. (eds.). Boston, Mass.: Kluwer Academic Publishers

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Doppler shift simulation of scattered HF signals during the Troms HF pumping experiment on 16 February 1996

    Borisova, T. D., Blagoveshchenskaya, N. F., Moskvin, I. V., Rietveld, M. T., Kosch, M. J. & Thidé, B., 2002, In: Annales Geophysicae. 20, 9, p. 1479-1486 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Early aspects: a model for aspect-oriented requirements engineering

    Rashid, A., Sawyer, P., Moreira, A. M. D. & Araújo, J., 2002, Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on. Washington, DC, USA: IEEE Computer Society, p. 199-202 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Energy deposition in the lower auroral ionosphere through energetic particle precipitation

    Kavanagh, A. J., 2002, Lancaster University. 324 p.

    Research output: ThesisDoctoral Thesis

  11. Published

    E-service based information fusion: A user-level information integration framework

    Helal, S. & Lu, J., 2002, Technologies for E-Services. TES 2002. . Buchmann, A., Fiege, L., Casati, F., Hsu, M. C. & Shan, M. C. (eds.). Berlin: Springer, p. 65-75 11 p. (Lecture Notes in Computer Science; vol. 2444).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top