Home > Research Search

Research

Search for research

776 - 800 out of 9,849Page size: 25
Sort by: Rating
  1. Published

    Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 5/09/2017, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 224–239 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  2. Published

    A mobile cloud framework for context-aware and portable recommender system for smart markets

    Khan, A., Ahmad, A., Rahman, A. U. & Alkhalil, A., 21/06/2019, EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Cham: Springer, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Published

    Summary of the Workshop Models@run.time at MoDELS 2006

    Bencomo, N., Blair, G. S. & France, R., 2006, Lecture Notes in Computer Science, Satellite Events at the MoDELS 2006 Conference. Springer-Verlag, p. 226-230 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  4. Published

    EHBT: An efficient protocol for group key management.

    Mathy, L. & Hutchison, D., 11/2001, Lecture Notes in Computer Science: Networked Group Communication. Springer Berlin / Heidelberg, p. 159-171

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Charging in Peer-to-Peer Systems based on a Token Accounting System

    Mauthe, A., Liebau, N., Heckmann, O., Kovacevic, A. & Steinmetz, R., 06/2006, Lecture Notes in Computer Science: Performability Has its Price. Springer Berlin / Heidelberg

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    A Peer-to-Peer Content Distribution Network

    Mauthe, A., Heckmann, O., Liebau, N., Darlagiannis, V. & Bock, A., 01/2005, Lecture Notes in Computer Science: From Integrated Publication and Information Systems to Information and Knowledge Environments.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Unpublished

    SAND: A Scalable, Distributed and Dynamic Active Network Directory Service

    Sifalakis, M., Mauthe, A. & Hutchison, D., 2009, (Unpublished) Lecture Notes in Computer Science: Active and Programmable Networks. Springer Berlin / Heidelberg

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Caching Indices for Efficient Lookup in Structured Overlay Networks

    Mauthe, A., Darlagiannis, V., Liebau, N., Heckmann, O. & Steinmetz, R., 07/2005, Lecture Notes in Computer Science: Agents and Peer-to-Peer Computing. p. 81-93

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Cloud of line distribution for arbitrary text detection in scene/video/license plate images

    Wang, W., Wu, Y., Palaiahnakote, S., Lu, T. & Liu, J., 10/05/2018, Advances in Multimedia Information Processing – PCM 2017. Springer, Cham, p. 433-443 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    Determining Risks from Advanced Multi-step Attacks to Critical Information Infrastructures.

    Ma, Z. & Smith, P., 2013, Critical Information Infrastructures Security. CRITIS 2013.: Lecture Notes in Computer Science. Springer, Vol. 8328. p. 142-154 13 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Explainable Artificial Intelligence (XAI) 2.0: A manifesto of open challenges and interdisciplinary research directions

    Longo, L., Brcic, M., Cabitza, F., Choi, J., Confalonieri, R., Ser, J. D., Guidotti, R., Hayashi, Y., Herrera, F., Holzinger, A., Jiang, R., Khosravi, H., Lecue, F., Malgieri, G., Páez, A., Samek, W., Schneider, J., Speith, T. & Stumpf, S., 30/06/2024, In: Information Fusion. 106, 102301.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. Published

    Sketching sustainability in computing

    Sturdee, M., Mann, S. & Carpendale, S., 20/06/2019, C&C '19 Proceedings of the 2019 on Creativity and Cognition. New York: ACM, p. 29-40 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

    Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

    From detection to remediation: A self-organized system for addressing flash crowd problems

    Xie, L., Smith, P., Hutchison, D., Banfield, M., Leopold, H., Jabbar, A. & Sterbenz, J. P. G., 12/09/2008, ICC 2008 - IEEE International Conference on Communications, Proceedings. p. 5809-5814 6 p. 4534123

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  15. Published

    PhishCatcher: Client-Side Defense Against Web Spoofing Attacks Using Machine Learning

    Ahmed, M., Altamimi, A. B., Khan, W., Alsaffar, M., Ahmad, A., Khan, Z. H. & Alreshidi, A., 19/06/2023, In: IEEE Access. 11, p. 61249-61263 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Empowering Teaching for Digital Equity and Agency: IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, Mumbai, India, January 6–8, 2020, Proceedings

    Brinda, T. (Editor), Passey, D. (Editor) & Keane, T. (Editor), 1/09/2020, Cham, Switzerland: Springer. 155 p. (IFIP Advances in Information and Communication Technology; vol. 595)

    Research output: Book/Report/Proceedings › Proceedings

  17. Published

    Migration of existing software systems to mobile computing platforms: a systematic mapping study

    Alseadoon, I., Ahmad, A., Alkhalil, A. & Sultan, K., 30/04/2021, In: FRONTIERS OF COMPUTER SCIENCE. 15, 2, 25 p., 152204.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  18. A Novel Deep Learning Based OCTA De-striping Method

    Gao, D., Celik, N., Wu, X., Williams, B. M., Stylianides, A. & Zheng, Y., 1/01/2020, Medical Image Understanding and Analysis: 23rd Conference, MIUA 2019, Liverpool, UK, July 24–26, 2019, Proceedings. Zheng, Y., Williams, B. M. & Chen, K. (eds.). Springer, Vol. 2019. p. 189-197 9 p. (Communications in Computer and Information Science; vol. 1065 CCIS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  19. Published

    Robust Functional Regression for Outlier Detection

    Hullait, H., Leslie, D. S., Pavlidis, N. G. & King, S., 23/01/2020, Advanced Analytics and Learning on Temporal Data: 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers. Lemaire, V., Malinowski, S., Bagnall, A., Bondu, A., Guyet, T. & Tavenard, R. (eds.). Cham: Springer, p. 3-13 11 p. (Lecture Notes in Computer Science; vol. 11986).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Horus: An Interference-aware Resource Manager for Deep Learning Systems

    Yeung, G., Borowiec, D., Yang, R., Friday, A., Harper, R. H. R. & Garraghan, P., 29/09/2020, Algorithms and Architectures for Parallel Processing. ICA3PP 2020. Qiu, M. (ed.). Springer, p. 492-508 17 p. (Lecture Notes in Computer Science; vol. 12453).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  21. Published

    Aspect-Oriented Programming and Separation of Crosscutting Concerns

    Rashid, A. & Blair, L., 2003, In: The Computer Journal. 46, 5, p. 527-528 2 p.

    Research output: Contribution to Journal/Magazine › Editorial

  22. Published

    DexPro: A Bytecode Level Code Protection System for Android Applications

    Zhao, B., Tang, Z., Li, Z., Song, L., Gong, X., Fang, D., Liu, F. & Wang, Z., 21/10/2017, Cyberspace Safety and Security. Wen, S., Wu, W. & Castiglione, A. (eds.). Cham: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 10581).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  23. Published

    Seeding the design process for future problems

    Newman, P., Forshaw, S., Simm, W., Ferrario, M. A., Whittle, J. & Friday, A., 09/2014, Human-centered software engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Sauer, S., Bogdan, C., Forbrig, P., Bernhaupt, R. & Winckler, M. (eds.). Berlin: Springer, p. 291-298 8 p. (Lecture Notes in Computer Science; vol. 8742).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  24. Published

    EA-Miner: towards automation in aspect-oriented requirements engineering

    Sampaio, A., Rashid, A., Chitchyan, R. & Rayson, P., 02/2007, Transactions on Aspect-Oriented Software Development III. Rashid, A. & Aksit, M. (eds.). Berlin: Springer Verlag, p. 4-39 36 p. (Lecture Notes in Computer Science; vol. 4620).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  25. Published

    SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

    Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...28 29 30 31 32 33 34 35 ...394 Next