Browse by Publisher

2023

Wright, Daniel, Dalvandi, Sadegh, Batty, Mark, Dongol, Brijesh (2023) Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Aspects of Computing, 35 (2). pp. 1-27. ISSN 1433-299X. (doi:10.1145/3580285) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:99629)

Xygkou, Anna, Siriaraya, Panote, Covaci, Alexandra, Prigerson, Holly Gwen, Neimeyer, Robert, Ang, Chee Siang, She, Wan Jou (2023) The "Conversation" about Loss : Understanding How Chatbot Technology was Used in Supporting People in Grief. In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. . Association for Computing Machinery ISBN 978-1-4503-9421-5. (doi:10.1145/3544548.3581154) (KAR id:99576)

Pattnaik, Nandita, Li, Shujun, Nurse, Jason R. C. (2023) A Survey of User Perspectives on Security and Privacy in a Home Networking Environment. ACM Computing Surveys, 55 (9). 180:1-180:38. ISSN 0360-0300. E-ISSN 1557-7341. (doi:10.1145/3558095) (KAR id:98166)

2022

Peeperkorn, Max (2022) Artificial Creative Societies: Adaption, Intention, and Evaluation. In: C&C '22: Creativity and Cognition. Proceedings of C&C '22. . pp. 704-707. Association for Computing Machinery, New York, NY, United States ISBN 978-1-4503-9327-0. (KAR id:95666)

Lustig, Daniel, Cooksey, Simon, Giroux, Olivier (2022) Mixed-proxy extensions for the NVIDIA PTX memory consistency model. In: ISCA '22: Proceedings of the 49th Annual International Symposium on Computer Architecture. . pp. 1058-1070. Association for Computing Machinery ISBN 978-1-4503-8610-4. (doi:10.1145/3470496.3533045) (KAR id:96841)

2019

Bastian, Théophile, Kell, Stephen, Zappa Nardelli, Francesco (2019) Reliable and Fast DWARF-Based Stack Unwinding. Proceedings of the ACM on Programming Languages, 3 . Article Number 146. E-ISSN 2475-1421. (doi:10.1145/3360572) (KAR id:76575)

2018

Tun, T. T., Yang, M., Bandara, A. K., Yu, Y., Nhlabatsi, A., Khan, N., Khan, K. M., Nuseibeh, B. (2018) Requirements and Specifications for Adaptive Security: Concepts and Analysis. In: 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS '18 . 161–171. Association for Computing Machinery, New York, NY, USA ISBN 978-1-4503-5715-9. (doi:10.1145/3194133.3194155) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:89595)

Tun, T. T., Yang, M., Bandara, A. K., Yu, Y., Nhlabatsi, A., Khan, N., Khan, K. M., Nuseibeh, B. (2018) Requirements and Specifications for Adaptive Security: Concepts and Analysis. In: 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS '18 . pp. 161-171. Association for Computing Machinery, New York, NY, USA ISBN 978-1-4503-5715-9. (doi:10.1145/3194133.3194155) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:89598)

2017

Guerrini, Fabrizio, Adami, Nicola, Benini, Sergio, Piacenza, Alberto, Porteous, Julie, Cavazza, Marc, Leonardi, Riccardo (2017) Interactive Film Recombination. ACM Transactions on Multimedia Computing, Communications and Applications, 13 (4). Article Number 52. ISSN 1551-6857. E-ISSN 1551-6865. (doi:10.1145/3103241) (KAR id:62138)

Agrawal, Shweta, Bhattacherjee, Sanjay, Phan, Duong Hieu, Stehlé, Damien, Yamada, Shota (2017) Efficient Public Trace and Revoke from Standard Assumptions. In: Proceedings of the ACM Conference on Computer and Communications Security. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. . pp. 2277-2293. Association for Computing Machinery, New York- United States ISBN 978-1-4503-4946-8. (doi:10.1145/3133956.3134041) (KAR id:83284)

Barhamgi, Mahmoud, Yang, M., Yu, Chia-Mu, Yu, Yijun, Bandara, Arosha K., Benslimane, Djamal, Nuseibeh, Bashar (2017) Enabling End-Users to Protect Their Privacy. In: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security. ASIA CCS '17 . pp. 905-907. Association for Computing Machinery, New York, NY, USA ISBN 978-1-4503-4944-4. (doi:10.1145/3052973.3055154) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:89601)

2016

Tan, Yong Kiam, Myreen, Magnus O., Kumar, Ramana, Fooks, Anthony R., Owens, Scott, Norrish, Michael (2016) A New Verified Compiler Backend for CakeML. In: ICFP'16: ACM SIGPLAN International Conference on Functional Programming. . pp. 60-73. Association for Computing Machinery, New York United States ISBN 978-1-4503-4219-3. (doi:10.1145/2951913.2951924) (KAR id:55687)

Avoine, Gildas, Beaujeant, Antonin, Hernandez-Castro, Julio C., Demay, Louis, Teuwen, Philippe (2016) A Survey of Security and Privacy Issues in ePassport Protocols. ACM Computing Surveys, 48 (3). Article Number 47. ISSN 0360-0300. (doi:10.1145/2825026) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:60598)

2015

Simon, .., Clear, Alison, Carter, Janet, Cross, Gerry, Radenski, Atanas, Tudor, Liviana, Tonnisson, Eno (2015) What's in a Name?: International Interpretations of Computing Education Terminology. ITICSE-WGR '15 Proceedings of the 2015 ITiCSE on Working Group Reports, . pp. 173-186. ISSN 9781450341462. (doi:10.1145/2858796.2858803) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:63973)

Alsalibi, Brian, Venkat, Ibrahim, Subramanian, K.G., Lutfi, Syaheerah Lebai, De Wilde, Philippe (2015) The impact of bio-inspired approaches toward the advancement of face recognition. ACM Computing Surveys, 48 (1). Article Number 5. ISSN 0360-0300. (doi:10.1145/2791121) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58006)

Rodgers, Peter, Stapleton, Gem, Chapman, Peter (2015) Visualizing Sets with Linear Diagrams. ACM Transactions on Computer-Human Interaction, 22 (6). Article Number 27. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2810012) (KAR id:50020)

Bing, Lidong, Lam, Wai, Wong, Tak-Lam, Jameel, Shoaib (2015) Web Query Reformulation via Joint Modeling of Latent Topic Dependency and Term Context. ACM Transactions on Information Systems, 33 (2). Article Number 6. ISSN 1046-8188. (doi:10.1145/2699666) (KAR id:69591)

2014

Rossebø, Judith E. Y., Houmb, Siv Hilde, Georg, Geri, Franqueira, Virginia N. L., Serpanos, Dimitrios (2014) Introduction to Special Issue on Risk and Trust in Embedded Critical Systems. ACM Transactions on Embedded Computing Systems, 13 (5S). Article Number 152. ISSN 1539-9087. E-ISSN 1558-3465. (doi:10.1145/2659008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77190)

Brown, Chloë, Efstratiou, Christos, Leontiadis, Ilias, Quercia, Daniele, Mascolo, Cecilia, Scott, James, Key, Peter (2014) The Architecture of Innovation: Tracking Face-to-Face Interactions with UbiComp Technologies. In: ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), 13-17 Sep 2014, Seattle, WA, USA. (doi:10.1145/2632048.2632056) (KAR id:42856)

Brown, Neil C.C., Sentance, Sue, Crick, Tom, Humphreys, Simon (2014) Restart: The Resurgence of Computer Science in UK Schools. ACM Transactions on Computing Education, 14 (2). Article Number 9. ISSN 1946-6226. (doi:10.1145/2602484) (KAR id:42486)

2013

Sun, Bo, Lu, Yang, Hu, Xiaoyan (2013) An interactive tool for teaching right management in 3D e-learning platform. In: Proceedings of the 12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry. . pp. 313-316. Association for Computing Machinery, New York, NY, United States ISBN 978-1-4503-2590-5. (doi:10.1145/2534329.2534368) (KAR id:80975)

2007

Tenenberg, Josh, Fincher, Sally (2007) Opening the Door of the Computer Science Classroom: The Disciplinary Commons. In: Proceedings of the 38th SIGCSE Symposium on Computer Science Education. 39. pp. 514-518. Association for Computing Machinery, United States ISBN 1-59593-361-1. (doi:10.1145/1227504.1227484) (KAR id:14604)

2004

Hanson, Richard J., Hopkins, Tim (2004) Algorithm 830: Another Visit With Standard and Modified Givens Transformations and A Remark on Algorithm 539. ACM Transactions on Mathematical Software, 30 (1). pp. 86-94. ISSN 0098-3500. (doi:10.1145/974781.974786) (KAR id:14202)

1997

Barnes, David J. (1997) Students Asking Questions: Facilitating Questioning Aids Understanding and Enhances Software Engineering Skills. ACM SIGCSE Bulletin, 29 (4). pp. 38-41. ISSN 0097-8418. (doi:10.1145/271125.271151) (KAR id:21424)