Found 1051 results
Filters: First Letter Of Last Name is B [Clear All Filters]
A Card-Based Ideation Toolkit to Generate Designs for Tangible Privacy Management Tools. Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction.
.
2023. A Card-Based Ideation Toolkit to Generate Designs for Tangible Privacy Management Tools. Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction.
.
2023. Care Pathway Support System. IEEE International Conference on Healthcare Informatics (ICHI 2014)IEEE International Conference on Healthcare Informatics (ICHI 2014).
.
2015. The case of Golden Jubilants: using a Prototype to support Healthcare Technology Research. 2021 IEEE/ACM 3rd International Workshop on Software Engineering for Healthcare (SEH).
.
2021. .
2021. A Case Study on Variability in User Interfaces. 16th International Software Product Line Conference (SPLC 2012)16th International Software Product Line Conference (SPLC 2012).
.
2012. CensusIRL: Historical census data preparation with MDD support. 2022 IEEE International Conference on Big Data (Big Data).
.
2022. Challenges and Opportunities for Caregiving through Information and Communication Technology. 13th International Conference on Health Informatics.
.
2020. Challenges of evolving sequential to parallel code: an exploratory review. EVOL/IWPSE 2011EVOL/IWPSE 2011.
.
2011. Characterizing Real-Time Reflexion-based Architecture Recovery in Practice. 8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012)8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012).
.
2012. Circus2CSP: A Tool for Model-Checking Circus Using FDR. Formal Methods – The Next 30 Years.
.
2019. Circus2CSP: A Tool for Model-Checking Circus Using FDR. Formal Methods – The Next 30 Years.
.
2019. Cities as Enterprises: A Comparison of Smart City Frameworks Based on Enterprise Architecture Requirements. Second International Conference, Smart-CT 2017Second International Conference, Smart-CT 2017.
.
2017. Cities as Enterprises: A Comparison of Smart City Frameworks Based on Enterprise Architecture Requirements. Second International Conference, Smart-CT 2017Second International Conference, Smart-CT 2017.
.
2017. Clinical Information Success in a Maternity Hospital. Irish Congress of Obstetrics, Gynaecology and Perinatal MedicineIrish Congress of Obstetrics, Gynaecology and Perinatal Medicine.
.
2012. CLOVER: CLoud HandOVER Protocol for Multi-constrained Server Handover in the Mobile Cloud Context. ITT ConferenceITT Conference.
.
2015. CoDS: A Representative Sampling Method for Relational Databases. 24th International Conference on Database and Expert Systems Applications (DEXA 2013)24th International Conference on Database and Expert Systems Applications (DEXA 2013).
.
2013. A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. Collaborative Refinement of Emergency Plans through Public Engagement. 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing7th International Conference on Collaborative Computing: Networking, Applications and Worksharing.
.
2011. Collaborative smart objects and augmented materials.. The Sensors and Systems Symposium at the NSTI Nanotechnology Conference(Nanotech 2007)The Sensors and Systems Symposium at the NSTI Nanotechnology Conference(Nanotech 2007).
.
2007. A Comparative Survey of Economic Models for Software Product Lines. 35th Euromicro Conference on Software Engineering and Advanced Applications (Euromicro-SEAA)35th Euromicro Conference on Software Engineering and Advanced Applications (Euromicro-SEAA).
.
2009. A Comparison Framework for Open Source Software Evaluation Methods. 6th International Conference on Open Source Systems6th International Conference on Open Source Systems.
.
2010. Compositional Verification of Self-Adaptive Cyber-Physical Systems. 13th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE .
.
2018. Compositional Verification of Self-Adaptive Cyber-Physical Systems. 13th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
2018.