Found 1051 results
Filters: First Letter Of Last Name is B [Clear All Filters]
The Forgotten Margins of AI Ethics. 2022 ACM Conference on Fairness, Accountability, and Transparency.
.
2022. A Formal Approach to Autonomous Vehicle Coordination. 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM).
.
2012. Formal Approach to Integrating Feature and Architecture Models. Fundamental Approaches to Software Engineering (FASE 2008)Fundamental Approaches to Software Engineering (FASE 2008).
.
2008. A formal security proof for the ZRTP Protocol. The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009).
.
2009. A formal security proof for the ZRTP Protocol. The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009).
.
2009. A Framework for Supporting the Software Architecture Evaluation Process in Global Software Development. Proceedings of the 4th International Conference on Global Software EngineeringProceedings of the 4th International Conference on Global Software Engineering.
.
2009. A Friend in Need is a Friend Indeed. proceedings of the 4th International Symposium on Empirical Software Engineeringproceedings of the 4th International Symposium on Empirical Software Engineering.
.
2005. From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.
.
2013. From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.
.
2013. From spaces to places: emerging contexts in mobile privacy. 11th International Conference on Ubiquitous Computing (UbiComp 2009)11th International Conference on Ubiquitous Computing (UbiComp 2009).
.
2009. A fully model-based approach to the design of the SEcube: community web app. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. Further Observations of Open Source Programmers’ Information Seeking. The 21st Annual Psychology of Programmers’ Interest Group Conference (PPIG)The 21st Annual Psychology of Programmers’ Interest Group Conference (PPIG).
.
2009. FUSCD - Future Smart Car Driver. 22nd International Multitopic Conference (INMIC).
.
2019. Generating Privacy Zones in Smart Cities. 2018 IEEE International Smart Cities Conference (ISC2).
.
2018. Generation of Test Databases using Sampling Methods. The International Symposium in Software Testing and Analysis (ISSTA) Conference as part of the Doctoral SymposiumThe International Symposium in Software Testing and Analysis (ISSTA) Conference as part of the Doctoral Symposium.
.
2013. Generic Refactoring Methodology for Cloud Migration. 7th International Conference on Cloud Computing and Services Science7th International Conference on Cloud Computing and Services Science.
.
2017. Generic Requirements for Inclusive Healthcare Software: Supporting Older Adults and People with Intellectual and Developmental Disability. 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW).
.
2023. Global Dynamic Load-Balancing for Decentralised Distributed Simulation. Winter Simulation Conference (WSC)Winter Simulation Conference (WSC).
.
2014. Global Software Development: Practices for Cultural Differences. Product-Focused Software Process Improvement.
.
2018. Harmonizing Software Development Processes with Software Development Settings – A Systematic Approach. Proceedings of the 20th European Conference on Systems, Software and Services Process Improvement (EuroSPI 2013)Proceedings of the 20th European Conference on Systems, Software and Services Process Improvement (EuroSPI 2013).
.
2013. Heat Maps from Decision Flaps: What People Really Think . International Conference on Information Systems Development.
.
2021. A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.
.
2012. A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.
.
2012. Hopefully We Are Mostly Secure: Views on Secure Code in Professional Practice. 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), International Conference of Software Engineering, 2019.
.
2019. Hospital Bed Management Practices: A Review. 12th International Joint Conference on Biomedical Engineering Systems and Technologies.
.
2019.