Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2024
 | Up a level |
Number of items: 12.
Formal specification of actual trust in multiagent systems - Michael Akintunde, Vahid Yazdanpanah and Asieh Fathabadi
Type: Conference or Workshop Item
| 2024
Actual Trust in Multiagent Systems - Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cirstea, Mehdi Dastani and Luc Moreau
Type: Conference or Workshop Item
| 2024
| International Foundation for Autonomous Agents and Multiagent Systems
Property ownership formal modelling using Event-B and iUML-B - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi and Gary Wills
Type: Conference or Workshop Item
| 2024
Type: Dataset
| 2024
| University of Southampton
Systematic hierarchical analysis of requirements for critical systems - Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi and Michael Butler
Type: Article
| 2024
Type: Conference or Workshop Item
| 2024
A method for swift selection of appropriate approximate multipliers for CNN hardware accelerators - Peiyao Sun, Haosen Yu, Basel Halak and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2024
| Item availability restricted.
Dynamic DNNs and runtime management for efficient inference on mobile/embedded devices - Lei Xun, Jonathon Hare and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
Fluid dynamic DNNs for reliable and adaptive distributed inference on edge devices - Lei Xun, Mingyu Hu, Hengrui Zhao, Amit Kumar Singh, Jonathon Hare and Geoff V. Merrett
Type: Conference or Workshop Item
| 2024
An event-B formal model for access control and resource management of serverless apps - Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2024
| Springer
| Item availability restricted.
Type: Dataset
| 2024
| University of Southampton
Tamper resistant design of convolutional neural network hardware accelerator - Haosen Yu, Peiyao Sun, Basel Halak, Karthik Shanthakumar and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2024
| IEEE
| Item not available on this server.