Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
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. Weakening the Dolev-Yao model through probability. SIN ’09: Proceedings of the 2nd international conference on Security of information and networksSIN ’09: Proceedings of the 2nd international conference on Security of information and networks.
.
2009. From distributions to probabilistic reactive programs. 10th International Colloquium on Theoretical Aspects of Computing10th International Colloquium on Theoretical Aspects of Computing.
.
2013. A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.
.
2012. The Research Grant Application Process through a Lean Six Sigma lens. Lean Sigma Six for Higher Education: A Practical Guide for Continuous Improvement Professionals in Higher Education.
.
2020. Perceived non-value added activities in the research grant application process through a lean Six Sigma lens: Lean Six Sigma in higher education. Lean Six Sigma in higher education: A practical guide for continuous improvement professionals in higher education..
.
2020. STIS: Smart Travel Planning Across Multiple Modes of Transportation. 10th International IEEE Conference on Intelligent Transportation Systems (IEEE ITSC 2007)10th International IEEE Conference on Intelligent Transportation Systems (IEEE ITSC 2007).
.
2007. A Framework for Flexible and Dependable Service-oriented Embedded Systems. Architecting Dependable SystemsArchitecting Dependable Systems. VII (ADS VII)
.
2010. Applying non-constant volatility analysis methods to software timeliness. Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS)Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS).
.
2009. National Health Models and the Adoption of E-Health and E-Prescribing in Primary Care – New Evidence from Europe. Journal of Innovation in Health Informatics. 22
.
2015. Technology Adoption in Smart City Initiatives: Starting Points and Influence Factors. 8th International Conference on Smart Cities and Green ICT Systems .
.
2019. .
2019. ICT Research Experience. Computer. 41
.
2008. The Energy Cost of the Visitor Pattern. 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
.
2022. Inheritance versus Delegation: Which is More Energy Efficient? IEEE/ACM 42nd International Conference on Software Engineering Workshops.
.
2020. The effect of photocatalytic coatings on NOx concentrations in real-world street canyons. Building and Environment. 205:108312.
.
2021. Evaluation of Design Artifacts - more than prototypes and case studies. AIS SIGPRAG Pre-ICIS Workshop 2016.
.
2016. .
2016. 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. Planning & Acting: Optimal Markov Decision Scheduling of Aggregated Data in WSNs by Genetic Algorithm.. IEEE PIMRC 2015IEEE PIMRC 2015.
.
2015. {Messages Prioritization in IEEE 802.15.4 based WSNs for Roadside Infrastructure}. {International Conference on Connected Vehicles & Expo}.
.
2014. Improving Emergency Messages Transmission Delay in Road Monitoring based WSNs. 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013)6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013).
.
2013. Synchronisation for Dynamic Load Balancing of Decentralised Conservative Distributed Simulation. 2nd ACM SIGSIM/PADS conference on Principles of advanced discrete simulation2nd ACM SIGSIM/PADS conference on Principles of advanced discrete simulation.
.
2014. dSUMO: Towards a Distributed SUMO. The first SUMO User Conference (SUMO2013)The first SUMO User Conference (SUMO2013).
.
2013.