Home > Research > Computing and Communications > Publications & Outputs

Research

View graph of relations

Computing and Communications

4251 - 4275 out of 10,609Page size: 25
RSS feed of this list
  1. 2015
  2. Published

    A co-contextual formulation of type rules and its application to incremental type checking

    Erdweg, S., Bračevac, O., Kuci, E., Krebs, M. & Mezini, E., 25/10/2015, OOPSLA 2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York: ACM, p. 880-897 18 p.

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

  3. Published

    Type systems for the masses: deriving soundness proofs and efficient checkers

    Grewe, S., Erdweg, S., Wittmann, P. & Mezini, E., 23/10/2015, Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). New York: ACM, p. 137-150 14 p.

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

  4. Published

    Different classifiers find different defects although with different level of consistency

    Bowes, D., Hall, T. & Petrić, J., 21/10/2015, PROMISE '15 Proceedings of the 11th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: Association for Computing Machinery, Inc, 10 p.

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

  5. Published

    What is the impact of imbalance on software defect prediction performance?

    Mahmood, Z., Bowes, D., Lane, P. C. R. & Hall, T., 21/10/2015, PROMISE '15 Proceedings of the 11th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: Association for Computing Machinery, Inc, 4

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

  6. Published

    SEED: a scalable approach for cyber-physical system simulation

    Garraghan, P., McKee, D., Ouyang, X., Webster, D. & Xu, J., 14/10/2015, In: IEEE Transactions on Services Computing. 9, 2, p. 199-212 14 p.

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

  7. Published

    DEMOS-2: scalable E2E verifiable elections without random oracles

    Kiayias, A., Zacharias, T. & Zhang, B., 12/10/2015, CCS '15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 352-363 12 p.

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

  8. Published

    HABOS: an exploratory study of haptic-audio based online shopping for the visually impaired

    Wong, E. J., Yap, K. M., Alexander, J. M. & Karnik, A., 11/10/2015, Haptic, Audio and Visual Environments and Games (HAVE), 2015 IEEE International Symposium on . Ottawa, Ontario: IEEE, p. 1-6 6 p.

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

  9. Published

    Edge flow

    Morris, G. & Angelov, P. P., 9/10/2015, Proceedings of the 2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, p. 1942-1948 7 p.

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

  10. Published

    Rethinking the intercept probability of random linear network coding

    Khan, A., Tassi, A. & Chatzigeorgiou, I., 8/10/2015, In: IEEE Communications Letters. 19, 10, p. 1762-1765 4 p.

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

  11. Published

    Multiple video object tracking using variational inference

    Kangin, D., Kolev, D. G. & Markarian, G., 6/10/2015, 2015 Sensor Data Fusion: Trends, Solutions, Applications (SDF 2015). IEEE, p. 47-52 6 p.

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

  12. Published

    Arcade+: A Platform for Public Deployment and Evaluation of Multi-Modal Games

    Velloso, E., Oechsener, C., Sachmann, K., Wirth, M. & Gellersen, H.-W. G., 5/10/2015, CHI PLAY '15 . London: ACM, p. 271-275 5 p.

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

  13. Published

    Efficient mobility and multihoming support for mountain rescue

    Alsukayti, I. & Edwards, C., 5/10/2015, 2015 8th IFIP Wireless and Mobile Networking Conference (WMNC). IEEE, p. 128-135 8 p. 1570179155

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

  14. Published

    Game of drones

    Lindley, J. & Coulton, P., 5/10/2015, CHI PLAY '15 Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play . New York: ACM, p. 613-618 6 p.

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

  15. Published

    A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking

    Tan, F., Wang, Y., Wang, Q., Bu, L. & Suri, N., 1/10/2015, In: IEEE Transactions on Parallel and Distributed Systems. 26, 10, p. 2630-2642 13 p., 6898840.

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

  16. Published

    Area energy and area spectrum efficiency trade-off in 5G heterogeneous networks

    Pervaiz, H. B., Musavian, L. & Ni, Q., 1/10/2015, Communication Workshop (ICCW), 2015 IEEE International Conference on . IEEE, p. 1178-1183 6 p.

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

  17. Published

    Energy and spectrum efficiency trade-off for green small cell networks

    Pervaiz, H. B., Musavian, L. & Ni, Q., 1/10/2015, IEEE International Conference on Communications (ICC), 2015. IEEE, p. 5410-5415 6 p.

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

  18. Published

    Persim 3D: Context-Driven Simulation and Modeling of Human Activities in Smart Spaces

    Lee, J. W., Cho, S., Liu, S., Cho, K. & Helal, S., 1/10/2015, In: IEEE Transactions on Automation Science and Engineering. 12, 4, p. 1243-1256 14 p.

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

  19. Published

    Supporting sustainable food shopping

    Clear, A. K., Friday, A. J., Rouncefield, M. F. & Chamberlain, A., 1/10/2015, In: IEEE Pervasive Computing. 14, 4, p. 28-36 9 p.

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

  20. Published

    SYSTEM STATE CLASSIFIER: United States Patent Application 20150278711

    Angelov, P. P. (Inventor), Kolev, D. G. (Inventor) & Markarian, G. (Inventor), 1/10/2015, IPC No. G06N99/00; G06N7/00 , Patent No. 14/677269, Priority date 10/10/2012, Priority No. GB1218209.3

    Research output: Patent

  21. Published

    Assurance Techniques for Industrial Control Systems (ICS)

    Knowles, W., Such Aparicio, J. M., Gouglidis, A., Misra, G. & Rashid, A., 10/2015, CPS-SPC '15 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy. New York: ACM, p. 101-112 12 p.

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

  22. Published

    Deconstructing ethnography: towards a social methodology for ubiquitous computing and interactive systems design

    Button, G., Crabtree, A., Rouncefield, M. F. & Tolmie, P., 10/2015, Springer. (Human–Computer Interaction Series)

    Research output: Book/Report/Proceedings › Book

  23. Published

    Evaluating the effort of composing design models: a controlled experiment

    Farias, K., Garcia, A., Whittle, J., Garcia Chavez, C. V. F. & Lucena, C., 10/2015, In: Software and Systems Modeling. 14, 4, p. 1349-1365 17 p.

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

  24. Published

    Inter-domain mobility with LISP-MN: a performance comparison with MIPv6

    Isah, M. & Edwards, C. J., 10/2015, IFIP Wireless and Mobile Networking Conference (WMNC), 2015 8th. IEEE, p. 80-87 8 p.

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

  25. Published

    MeditAid: a wearable adaptive neurofeedback-based system for training mindfulness state

    Sas, C. & Chopra, R., 10/2015, In: Personal and Ubiquitous Computing. 19, 7, p. 1169-1182 14 p.

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

  26. Published

    Operationalizing design fiction with anticipatory ethnography

    Lindley, J., Sharma, D. & Potts, R., 10/2015, Ethnographic Praxis in Industry Conference Proceedings. Wiley, p. 58-71 14 p.

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

Previous 1...167 168 169 170 171 172 173 174 ...425 Next

Back to top