Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
.
2016.
Using higher-order contracts to model session types. Logical Methods in Computer Science. 12
.
2016. Mutually Testing Processes. Logical Methods in Computer Science. 11(2)
.
2015. FlowTalk: Language Support for Long-Latency Operations in Embedded Devices. IEEE Transactions on Software Engineering. 37
.
2011. Creating Sophisticated Development Tools with Omnibrowser. Computer Languages, Systems and Structures. 34
.
2008. Stateful traits and their formalisation. Computer Languages, Systems and Structures. 34
.
2008. Classboxes: Supporting Unanticipated Variation Points in the Source Code. Proceedings of 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE 2007), collocated with the 6th International Conference on Generative Programming and Component Engineering (GPCE 2007).
.
2007. Aspectboxes - Controlling the Visibility of Aspects. International Conference on Software and Data Technologies (ICSOFT 2006)International Conference on Software and Data Technologies (ICSOFT 2006).
.
2006. FacetS: First Class Entities for an Open Dynamic AOP Language. Proceedings of the Open and Dynamic Aspect Languages Workshop.
.
2006. Meta-Driven Browsers, Advances in Smalltalk. 14th International Smalltalk Conference (ISC 2006)14th International Smalltalk Conference (ISC 2006).
.
2006. Prototyping Languages, Related Constructs and Tools with Squeak. Proceedings of the Workshop on Revival of Dynamic Languages (co-located with ECOOP’06).
.
2006. Stateful Traits, Advances in Smalltalk. 14th International Smalltalk Conference (ISC 2006)14th International Smalltalk Conference (ISC 2006).
.
2006. Significant Features for Human Activity Recognition Using Tri-Axial Accelerometers. Sensors. 22:7482.
.
2022. Feed me, Feed me: An Exemplar for Engineering Adaptive Software. 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016).
.
2016. Feature-Driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things. ACM Transactions Cyber-Physical Systems. 2:21:1–21:25.
.
2018. The Many Facets of Mediation A Requirements-driven Approach for Trading-off Mediation Solutions. {Managing trade-offs in adaptable software architectures}.
.
2016. Modelling and Analysing Resilient Cyber-physical Systems. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
.
2019. Won't Take No for an Answer: Resource-Driven Requirements Adaptation. 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
2019. Values@Runtime: An Adaptive Framework for Operationalising Values. IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society .
.
2023. Socio-Technical Resilience for Community Healthcare. Proceedings of the First International Symposium on Trustworthy Autonomous Systems.
.
2023. Values@Runtime: An Adaptive Framework for Operationalising Values. 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS).
.
2023. Software Development. Proceedings of 3rd International Conference on Software DevelopmentProceedings of 3rd International Conference on Software Development.
.
2005. Application of blockchain technology to 5G-enabled vehicular networks: survey and future directions .
.
2021. AI in My Life: AI, Ethics & Privacy Workshops for 15-16-Year-Olds. 13th ACM Web Science Conference 2021.
.
2021. .
2021.