Computing and Communications

View graph of relations

Faculty of Science and Technology

Show 14 centres, groups and clusters

Hide 14 centres, groups and clusters

9201 - 9300 out of 10,534Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Author last name

Published
Correction of Single-Byte Errors by the (16,8) Nordstrom-Robinson Code
Boyarinov, I., Markarian, G. & Honary, B., 07/1999, 5th International Symposium on Communications Theory and Applications. Ambleside, UK, p. 24-28
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Formal description of distributed multimedia systems.
Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Time versus abstraction in formal descriptions.
Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
A formal description technique supporting quality of service and media synchronisation.
Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Formal description of multimedia systems : an assessment of potential techniques.
Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 12/1995, In: Computer Communications. 18, 12, p. 964-977 14 p.
Research output: Contribution to Journal/Magazine › Journal article
Published
Time versus abstraction in formal description.
Bowman, H., Blair, G. S., Blair, L. & Chetwynd, A. G., 1994, In: IFIP Transactions C. 22, p. 407-482 76 p.
Research output: Contribution to Journal/Magazine › Journal article
Published
A formally verified SMT approach to true concurrency
Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Correct composition in the presence of behavioural conflicts and dephasing
Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An integrated approach to a combinatorial optimisation problem
Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A framework for automated conflict detection and resolution in medical guidelines
Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Balancing prescriptions with constraint solvers
Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
An integrated framework for verifying multiple care pathways
Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A flexible approach for finding optimal paths with minimal conflicts
Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A verified algorithm enumerating event structures
Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Correct composition of dephased behavioural models
Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mind the gap: addressing behavioural inconsistencies with formal methods
Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A content analysis and ethical review of mobile applications for depression: Exploring the app marketplace
Bowie-DaBreo, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 4/05/2019.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper
Published
A call for responsible innovation in mobile mental health: findings from a content analysis and ethical review of the depression app marketplace
Bowie-DaBreo, D., Sas, C., Sunram-Lea, S.-I. & Iles-Smith, H., 7/10/2020.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Evaluation of depression app store treatment descriptions and alignment with clinical guidance: Systematic search and content analysis
Bowie-DaBreo, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 13/11/2020, In: JMIR Formative Research. 4, 11, 18 p., e14988.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Transdisciplinary ethical principles and standards for mobile mental health
Bowie-DaBreo, D., Iles-Smith, H., Sunram-Lea, S.-I. & Sas, C., 6/07/2020.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper
Published
A systemic ethical framework for mobile mental health: From design to implementation
Bowie, D., Sunram-Lea, S.-I., Sas, C. & Iles-Smith, H., 5/12/2018.
Research output: Contribution to conference - Without ISBN/ISSN › Poster
Published
User perspectives and ethical experiences of apps for depression: A qualitative analysis of user reviews
Bowie, D., Sas, C., Iles-Smith, H. & Sunram-Lea, S.-I., 29/04/2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. New York: ACM, p. 21:1-21:24 24 p. 21. (Conference on Human Factors in Computing Systems - Proceedings).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Software defect prediction: do different classifiers find the same defects?
Bowes, D., Hall, T. & Petrić, J., 1/06/2018, In: Software Quality Journal. 26, 2, p. 525-552 28 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Getting defect prediction into industrial practice: The ELFF tool
Bowes, D., Counsell, S., Hall, T., Petric, J. & Shippey, T., 14/11/2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., p. 44-47 4 p. 8109247
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
How Good Are My Tests?
Bowes, D., Hall, T., Petrić, J., Shippey, T. & Turhan, B., 3/07/2017, 2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE Computer Society, p. 9-14 6 p. 7968009. (2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM)).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mutation-aware fault prediction
Bowes, D., Hall, T., Harman, M., Jia, Y., Sarro, F. & Wu, F., 18/07/2016, ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, Inc, p. 330-341 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
DConfusion: A technique to allow cross study performance evaluation of fault prediction studies
Bowes, D., Hall, T. & Gray, D., 04/2014, In: Automated Software Engineering. 21, 2, p. 287-313 27 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The inconsistent measurement of Message Chains
Bowes, D., Randall, D. & Hall, T., 2013, 2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE, p. 62-68 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Comparing the performance of fault prediction models which report multiple performance measures: Recomputing the confusion matrix
Bowes, D., Hall, T. & Gray, D., 2012, PROMISE '12 Proceedings of the 8th International Conference on Predictive Models in Software Engineering. ACM, p. 109-118 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SLuRp: A tool to help large complex systematic literature reviews deliver calid and rigorous results
Bowes, D., Hall, T. & Beecham, S., 2012, EAST'12 - Proceedings of the 2nd International Workshop on Evidential Assessment of Software Technologies. ACM, p. 33-36 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Program slicing-based cohesion measurement: The challenges of replicating studies using metrics
Bowes, D., Hall, T. & Kerr, A., 2011, WETSoM '11 Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics. ACM, p. 75-80 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The role of lateral inhibition in the sensory processing in a simulated spiking neural controller for a robot
Bowes, D., Adams, R., Cãnamero, L., Steuber, V. & Davey, N., 2009, 2009 IEEE Symposium on Artificial Life, ALIFE 2009 - Proceedings. IEEE, p. 179-183 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Receptor response and soma leakiness in a simulated spiking neural controller for a robot
Bowes, D., Adams, R., Cañamero, L., Steuber, V. & Davey, N., 2008, Proceedings of the 4th International Workshop on Artificial Neural Networks and Intelligent Information Processing. Vol. 1. p. 100-106 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Guest editorial: special section on predictive models and data analytics in software engineering
Bowes, D., Shihab, E. & Turhan, B., 1/10/2019, In: Empirical Software Engineering. 24, 5, p. 3151–3152 2 p.
Research output: Contribution to Journal/Magazine › Editorial › peer-review
Published
BugVis: Commit slicing for fault visualisation
Bowes, D., Petric, J. & Hall, T., 5/10/2020, ICPC '20: Proceedings of the 28th International Conference on Program Comprehension. New York: ACM, p. 436-440 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Running the network: supporting co-operative systems
Bowers, J., Pycock, J., Rodden, T. & Dean, G., 1994, In: Information Technology and People. 7, 2, p. 7-28 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Real-time head-based deep-learning model for gaze probability regions in collaborative VR
Bovo, R., Giunchi, D., Sidenmark, L., Costanza, E., Gellersen, H. & Heinis, T., 11/06/2022, ACM Symposium on Eye Tracking Research and Applications. New York: ACM, 8 p. 6
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Speech-Augmented Cone-of-Vision for Exploratory Data Analysis
Bovo, R., Giunchi, D., Sidenmark, L., Newn, J., Gellersen, H., Costanza, E. & Heinis, T., 19/04/2023, p. 162:1-162:18. 18 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Deep Video Precoding
Bourtsoulatze, E., Chadha, A., Fadeev, I., Giotsas, V. & Andreopoulos, I., 1/12/2020, In: IEEE Transactions on Circuits and Systems for Video Technology. 30, 12, p. 4913 - 4928 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Modeling Server Workloads for Campus Email Traffic Using Recurrent Neural Networks
Boukoros, S., Nugaliyadde, A., Marnerides, A., Vassilakis, C., Koutsakis, P. & Wai Wong, K., 14/11/2017, Neural Information Processing. ICONIP 2017. Liu, D., Xie, S., Li, Y., Zhou, D. & El-Alfy, E. S. (eds.). Cham: Springer, p. 57-66 10 p. (Lecture Notes in Computer Science; vol. 10638).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SAFT-VNDN: A Socially-Aware Forwarding Technique in Vehicular Named Data Detworking
Boudelaa, A., Abdelhafidi, Z., Lagraa, N., Kerrache, C. A., Bilal, M., Kwak, D. & Yagoubi, M. B., 16/06/2022, In: Computers, Materials and Continua. 73, 2, p. 2495-2512 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
SAFT-VNDN: A Socially-Aware Forwarding Technique in Vehicular Named Data Networking
Boudelaa, A., Abdelhafidi, Z., Lagra, N., Kerrache, C. A., Bilal, M., Kwak, D. & Yagoubi, M. B., 16/06/2022, In: CMC-Computers, Materials Continua. 73, 2, p. 2495-2512 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Forthcoming
MARbLE: Multi-Agent Reinforcement Learning at the Edge for Digital Agriculture
Boubin, J., Burley, C., Han, P., Li, B., Porter, B. & Stewart, C., 1/10/2022, (Accepted/In press) Symposium on Edge Computing. IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Failure mitigation in software defined networking employing load type prediction
Bouacida, N., Alghadhban, A., Alalmaei, S., Mohammed, H. & Shihada, B., 28/07/2017, 2017 IEEE International Conference on Communications, ICC 2017. Institute of Electrical and Electronics Engineers Inc., 7 p. 7997295
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Topic 11 - Distributed and high-performance multimedia
Böszörmenyi, L., Mühlhäuser, M., Coulson, G. & Correia, N., 2005, Euro-Par 2005 Parallel Processing, Proceedings. Cunha, J. C. & Medeiros, P. D. (eds.). Berlin: Springer Verlag, p. 877-877 1 p. (Lecture Notes in Computer Science; vol. 3648).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Marauder's map: Bringing people together
Bose, R., Yang, H.-I. & Helal, S., 2007, International Symposium on Applications and the Internet Workshops, 2007. SAINT Workshops 2007. IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Virtual sensors for service oriented intelligent environments
Bose, R., Helal, S., Sivakumar, V. & Lim, S., 2007, 3rd IASTED International Conference on Advances in Computer Science and Technology, ACST 2007. Sahni, S. (ed.). ACTA Press, p. 165-170 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Distributed mechanisms for enabling virtual sensors in service oriented intelligent environments
Bose, R. & Helal, S., 2008, 4th International Conference on Intelligent Environments, IE 08. IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Observing walking behavior of humans using distributed phenomenon detection and tracking mechanisms
Bose, R. & Helal, S., 2008, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE, p. 405-408 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Sensor-aware adaptive push-pull query processing in wireless sensor networks
Bose, R. & Helal, S., 2010, 2010 6th International Conference on Intelligent Environments, IE 2010. IEEE, p. 243-248 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
Bosch, J. & Lee, J., 2010, Berlin: Springer. 532 p. (Lecture notes in computer science)
Research output: Book/Report/Proceedings › Book
Published
Configurable Radio with Advanced Software Technology (CAST) – Initial Concepts
Bosch, B., Honary, B., Justo, G., Kovacs, J., Lohi, M., Lund, D., Madani, K., Patel, P., Ramos, R. & Sandor, I., 10/2000, IST Mobile Communication Summit 2000. Galway, Ireland , p. 139-144 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Software product lines
Bosch, J. & Lee, J., 1/12/2013, In: Science of Computer Programming. 78, 12, p. 2293-2294 2 p.
Research output: Contribution to Journal/Magazine › Editorial
Published
Environmental Consequence of Deep Learning
Borowiec, D., Harper, R. H. R. & Garraghan, P., 11/01/2022, In: ITNOW. 63, 4, p. 10-11 2 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Trimmer: Cost-Efficient Deep Learning Auto-tuning for Cloud Datacenters
Borowiec, D., Yeung, G.-F., Friday, A., Harper, R. H. R. & Garraghan, P., 24/08/2022, Proceedings - 2022 IEEE 15th International Conference on Cloud Computing, CLOUD 2022. IEEE, p. 374-384 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
DOPpler: Parallel Measurement Infrastructure for Auto-tuning Deep Learning Tensor Programs
Borowiec, D., Yeung, G.-F., Friday, A., Harper, R. H. R. & Garraghan, P., 31/07/2023, In: IEEE Transactions on Parallel and Distributed Systems. 34, 7, p. 2208-2220 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Analysing and Reducing Costs of Deep Learning Compiler Auto-tuning
Borowiec, D., 03/2023, Lancaster University. 384 p.
Research output: Thesis › Doctoral Thesis
Published
Experiments with multi-modal interfaces in a context-aware city guide
Bornträger, C., Cheverst, K., Davies, N., Dix, A., Friday, A. & Seitz, J., 09/2003.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Rebound Archetypes: A Card-based Tool to Help Designers Think Through the Rebound Effects when Designing for Sustainability
Bornes, L., Smith, M. T., Bates, O., Blair, G., Letondal, C. & Vingerhoeds, R., 24/10/2024.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
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/Magazine › Journal article › peer-review
Published
Stationary state and relaxation of artificial irregularities excited in ionospheric heating experiments
Borisov, N., Senior, A. & Honary, F., 05/2005, In: Journal of Plasma Physics. 71, 3, p. 315-334 20 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Special issue on “Internet of Things: Research challenges and Solutions”
Borgia, E. (Editor), Gomes, D. G. (Editor), Lagesse, B. (Editor), Lea, R. J. (Editor) & Puccinelli, D. (Editor), 1/09/2016, In: Computer Communications. 89-90, p. 1-4 4 p.
Research output: Contribution to Journal/Magazine › Editorial
Published
OpenCL as Wireless Sensor Network programming abstraction
Bor, M. & Roedig, U., 12/05/2014. 2 p.
Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review
Published
Lifetime bounds of Wi-Fi enabled sensor nodes
Bor, M., King, A. & Roedig, U., 4/06/2015, In: Procedia Computer Science. 52, p. 1108-1113 6 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
LoRa for the Internet of Things
Bor, M., Vidler, J. E. & Roedig, U., 15/02/2016, EWSN '16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks. Canada: Junction Publishing, p. 361-366 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Do LoRa low-power wide-area networks scale?
Bor, M., Roedig, U., Voigt, T. & Alonso, J., 14/11/2016, MSWiM '16 Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. New York: ACM Press, p. 59-67 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
LoRa Transmission Parameter Selection
Bor, M. & Roedig, U., 5/06/2017, 2017 13th International Conference on Distributed Computing in Sensor Systems (DCOSS). IEEE, p. 27-34 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Adversarial Machine Learning in Smart Energy Systems
Bor, M., Marnerides, A., Molineux, A., Wattam, S. & Roedig, U., 25/06/2019, e-Energy '19 Proceedings of the Tenth ACM International Conference on Future Energy Systems. New York: ACM, p. 413-415 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards the efficient use of LoRa for wireless sensor networks
Bor, M., 2020, Lancaster University. 202 p.
Research output: Thesis › Doctoral Thesis
Published
Post-processing in wireless sensor networks: Benchmarking sensor trace files
Bor, M. C., Chatzigiannakis, I., Dulman, S. O., Kikiras, P., Theodoridis, E. & Visser, O. W., 17/10/2010, PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10. New York: ACM, p. 40-43 4 p. 1868597. (PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Transformers: Intrusion Detection Data In Disguise
Boorman, J., Prince, D. & Green, B., 18/09/2020.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Distributed computer system for storing data items assigned to virtual directories
Bonsma, E. R. (Inventor) & Hoile, C. R. (Inventor), 1/05/2011
Research output: Patent
Published
Network location management system
Bonsma, E. R. (Inventor) & Hoile, C. R. (Inventor), 1/07/2004
Research output: Patent
Published
Automatic intranet service publishing and service access
Bonsma, E. R. (Inventor) & Hoile, C. R. (Inventor), 1/12/2007
Research output: Patent
Published
Network location management system
Bonsma, E. (Inventor) & Hoile, C. (Inventor), 1/04/2003
Research output: Patent
Published
A distributed implementation of the SWAN peer-to-peer look-up system using mobile agents
Bonsma, E. & Hoile, C., 2003, Agents and Peer-to-Peer Computing: First International Workshop, AP2PC 2002 Bologna, Italy, July 15, 2002 Revised and Invited Papers. Moro, G. & Koubarakis, M. (eds.). Berlin: Springer Verlag, p. 100-111 12 p. (Lecture Notes in Computer Science; vol. 2530).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The CoNEXT shadow TPC
Bonaventure, O., Chaintreau, A., Mathy, L. & Owezarski, P., 04/2008, In: Computer Communication Review. 38, 2, p. 85-86 2 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Feel your route: A tactile display for car navigation
Boll, S., Asif, A. & Heuten, W., 9/06/2011, In: IEEE Pervasive Computing. 10, 3, p. 35-42 8 p., 5871576.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Special Issue on IoT for Fighting COVID-19
Boldrini, C., Ahmad, A., Fahmideh, M., Ramadan, R. & Younis, M., 31/10/2021, In: Pervasive and Mobile Computing. 77, 101492.
Research output: Contribution to Journal/Magazine › Editorial › peer-review
Published
Sustaining property verification of synchronous dependable protocols over implementation
Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Role-based symmetry reduction of fault-tolerant distributed protocols with language support
Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On efficient models for model checking message-passing distributed protocols
Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Efficient model checking of fault-tolerant distributed protocols
Bokor, P., Kinder, J., Serafini, M. & Suri, N., 27/06/2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN). IEEE, p. 73-84 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Supporting domain-specific state space reductions through local partial-order reduction
Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction
Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Synchronising video playback information within a distributed framework
Bojko, C., Mu, M. & Race, N., 28/10/2013, Media Synchronization Workshop (MediaSync) 2013. Nantes, 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mechanism for the formation of the high-altitude stagnant cusp: Cluster and SuperDARN observations
Bogdanova, Y. V., Marchaudon, A., Owen, C. J., Dunlop, M. W., Frey, H. U., Wild, J. A., Fazakerley, A. N., Klecker, B., Davies, J. A., Milan, S. E. & Fletcher, K. (Editor), 01/2006. 0 p.
Research output: Contribution to conference - Without ISBN/ISSN › Other › peer-review
Published
On the formation of the high-altitude stagnant cusp: Cluster observations
Bogdanova, Y. V., Marchaudon, A., Owen, C. J., Dunlop, M. W., Frey, H. U., Fazakerley, A. N., Klecker, B., Davies, J. A., Wild, J. A., Milan, S. E., Rème, H. & Balogh, A., 06/2005, In: Geophysical Research Letters. 32, 12, 5 p., L12101.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Formation of the low-latitude boundary layer and cusp under the northward IMF: simultaneous observations by cluster and double star
Bogdanova, Y. V., Owen, C. J., Dunlop, M. W., Wild, J. A., Davies, J. A., Lahiff, A. D., Taylor, M. G. G. T., Fazakerley, A. N., Dandouras, I., Carr, C. M., Lucek, E. A. & Rème, H., 12/06/2008, In: Journal of Geophysical Research. 113, A7, 33 p., A07S07.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A compositional stochastic model for real-time freeway traffic simulation.
Boel, R. & Mihaylova, L., 05/2006, In: Transportation Research Part B: Methodological. 40, 4, p. 319-334 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Modelling freeway networks by hybrid stochastic models
Boel, R. & Mihaylova, L., 15/07/2004, Intelligent Vehicles Symposium, 2004 IEEE. p. 182 - 187 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Smart Homes and Health Telematics: 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers
Bodine, C. (Editor), Helal, S. (Editor), Gu, T. (Editor) & Mokhtari, M. (Editor), 2015, Cham: Springer. (Lecture Notes in Computer Science; vol. 8456)
Research output: Book/Report/Proceedings › Proceedings
Published
Payment support in ubiquitous computing environments
Boddupalli, P., Al-Bin-Ali, F., Davies, N., Friday, A., Storz, O. & Wu, M., 10/2003, p. 110-121. 12 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Taming reflection: aiding static analysis in the presence of reflection and custom class loaders
Bodden, E., Sewe, A., Sinschek, J., Oueslati, H. & Mezini, M., 2011, Proceedings of the 33rd International Conference on Software Engineering (ICSE '11). New York, NY, USA: ACM, p. 241-250 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SPLLIFT: statically analyzing software product lines in minutes instead of years
Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P. & Mezini, M., 2013, Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI 2013). New York, NY, USA: ACM, p. 355-364 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Blended multi-modal deep convnet features for diabetic retinopathy severity prediction
Bodapati, J. D., Veeranjaneyulu, N., Shareef, S. N., Hakak, S., Bilal, M., Maddikunta, P. K. R. & Jo, O., 06/2020, In: Electronics (Switzerland). 9, 6, 914.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Unpublished
Demonstration of the CompactPSH Incentive Scheme in a Peer-to-Peer Streaming Application
Bocek, T., El-khatib, Y., Hecht, F. V., Hausheer, D. & Stiller, B., 10/2009, (Unpublished).
Research output: Contribution to conference - Without ISBN/ISSN › Other › peer-review
Published
CompactPSH: An Efficient Transitive TFT Incentive Scheme for Peer-to-Peer Networks
Bocek, T., Hecht, F. V., Hausheer, D., Stiller, B. & El-khatib, Y., 10/2009, Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on. IEEE, p. 483-490 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Special section on human-centric multimedia networking: guest editorial
Boavida, F., Cerqueira, E., Mauthe, A., Curado, M., Lua, E. K. & Leszczuk, M., 09/2013, In: Computer Communications. 36, 15-16, p. 1606-1607 2 p.
Research output: Contribution to Journal/Magazine › Editorial

Previous 1...89 90 91 92 93 94 95 96 ...106 Next

Research

Computing and Communications

Quick Links

Connect With Us