Found 3399 results
Filters: Events is [Clear All Filters]
Assisting Concept Location in Software Comprehension. Proceedings of 19th Annual Psychology of Programming Workshop (PPIG 07).
.
2007. ASSL: A Software Engineering Approach to Autonomic Computing. IEEE Computer Society. 42
.
2009. The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. :268–296.
.
2019. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. .
2009. The ASSL Formalism for Real-Time Autonomic Systems. Self-Organization in Embedded Real-Time SystemsSelf-Organization in Embedded Real-Time Systems.
.
2013. ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems. Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009)Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2009).
.
2009. An ASSL-Generated Architecture for Autonomic Systems. Conference on Computer Science & Software Engineering (C3S2E ’09)Conference on Computer Science & Software Engineering (C3S2E ’09).
.
2009. .
2019. Associations between mobility patterns and COVID-19 deaths during the pandemic: A network structure and rank propagation modelling approach. Array. 11:100075.
.
2021. At the Crossroads of Knowledge Management and Social Software. Electronic Journal of Knowledge Management. 4
.
2005. At the Edge of Industry 4.0. Procedia Computer Science. 155
.
2019. At the Vanguard of Design Science: First Impressions and Findings from Ongoing Research, Research-in-Progress Papers and Poster Presentations from the 10th International Conference. 10th International Conference, DESRIST 201510th International Conference, DESRIST 2015.
.
2015. Attitudes towards Online Community Support Initiatives during the COVID-19 Pandemic: A Survey in the UK. Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems.
.
2022. Auction-based serious game for bug tracking. IET Software. 13:386-392.
.
2019. AUDD: Audio Urdu Digits Dataset for Automatic Audio Urdu Digit Recognition. Applied Sciences. 11:8842.
.
2021. Audio Pre-Processing and Neural Network Models for Identification of Orthopedic Reamers in Use. 2020 31st Irish Signals and Systems Conference (ISSC).
.
2020. .
2023. .
2021. .
2021. Augmenting types with unbounded demonic and angelic nondeterminacy. Proc. Mathematics of Program Construction, Lecture Notes in Computer Science. 3125
.
2005. Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. Mathematics of Program Construction ConferenceMathematics of Program Construction Conference.
.
2004. Aumotating the Parallelization of Functional Programs. 13th Symposium on Trends in Functional Programming13th Symposium on Trends in Functional Programming.
.
2012. Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks. Egyptian Informatics Journal. 23:83-93.
.
2022.