Found 3444 results
Filters: News is [Clear All Filters]
From Agile to Lean: The Perspectives of the two Agile Online Communities of Interest. 19th European Conference on Information Systems19th European Conference on Information Systems.
.
2011. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques. Tools and Algorithms for the Construction and Analysis of Systems.
.
2022. From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.
.
2013. From physical models to well-founded control. 6th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems. IEEE Press6th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems. IEEE Press.
.
2009. From Problem Landscapes to Language Landscapes: Questions in Genetic Improvement. Proceedings of the Genetic and Evolutionary Computation Conference Companion.
.
2017. 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. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
.
2023. 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. Functional Program Transformation for Parallelisation using Skeletons. 9th International Symposium on High-Level Parallel Programming and Applications9th International Symposium on High-Level Parallel Programming and Applications.
.
2016. Functionality Recompostion for Self-Healing. ICSOFT’09: Proceedings of the Fourth International Conference on Software and Data TechnologiesICSOFT’09: Proceedings of the Fourth International Conference on Software and Data Technologies. 2
.
2009. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011)Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. 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. The Gameification of SPICE. 12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012)12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012).
.
2012. A Gamification Approach to Improve the Software Development Process by Exploring the Personality of Software Practitioners. 6th International Conference on Software Process Improvement and Capability dEtermination6th International Conference on Software Process Improvement and Capability dEtermination.
.
2016. Gathering Transportation Data by Acoustic Monitoring: A Case Study. 12th Information Technology & Telecommunications (IT&T)12th Information Technology & Telecommunications (IT&T).
.
2013. A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain. 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
.
2021. GDPR-compliant Video Search and Retrieval System for Surveillance Data . 19th International Conference on Availability, Reliability and Security.
.
2024. GELAB - A Matlab Toolbox for Grammatical Evolution. Intelligent Data Engineering and Automated Learning – IDEAL 2018.
.
2018. GELAB and Hybrid Optimization Using Grammatical Evolution. Intelligent Data Engineering and Automated Learning – IDEAL 2020.
.
2020. GEMO: Grammatical Evolution Memory Optimization System. 12th International Joint Conference on Computational Intelligence .
.
2020. Gems: A novel method to accelerate Evolutionary Algorithms. 2017 IEEE Congress on Evolutionary Computation (CEC).
.
2017. A General Characterization of Model-Based Diagnosis. 27th International Workshop on Model-Based Diagnosis.
.
2016. Generalized Object Detection on Fisheye Cameras for Autonomous Driving: Dataset, Representations and Baseline. 2021 IEEE Winter Conference on Applications of Computer Vision (WACV).
.
2021. Generating Loop Invariants for Program Verification by Transformation. Proceedings of the Fifth International Workshop on Verification and Program Transformation .
.
2017.