Recently, more researchers and developers are looking towards HTML5 mobile applications as a solution for targeting multiple devices and platforms. This is because the browser is becoming the default platform and its de facto standards are HTML5 and JavaScript. In the enterprise, compelling HTML5 mobile web applications that promise to offer the same functionality as […]

Security is a huge concern in our digital society, especially with distributed systems like the Internet. Services deployed on such systems are frequently subject to malicious attacks; thus, verifying and enforcing its security is essential. One way of doing this is by using models like finite state automata. Past literature has explored how a system […]

The 12-week research work will make a novel contribution to a large project called the Model Integration (MINT) framework, which in turn will improve the integration of scientific models in Environmental and Earth Sciences. Furthermore, this contribution to the MINT project will be a combination of best practices in reproducible research, Machine Learning, and domain […]

The WaferBoard™ is a “waffle iron” for prototyping electronic systems. In the envisioned concept, the user simply place components in the WaferBoard™ and close the cover. ”WaferBoard™ then senses the component contacts and recognizes the components and interconnects them. The prototype is now ready to be brought up and run. The candidate will do research […]

Performance assurance activities are an essential step in the release cycle of large software systems. However, prior research on software performance often does not consider the impact on end users; while developers may miss performance issues that lowers the satisfaction rate of end users, or the effort is spent on fixing those issues that may […]

Missing Link Technologies Ltd. provides customized and effective solutions to its partners for their IT infrastructure & operations. They are especially involved with solving the IT facilities management challenges of Telcos and Datacenters. The proposed research in collaboration with Missing Link Technologies Ltd. is aimed at leveraging the advances in machine learning and artificial intelligence […]

Ce projet s’insère dans un contexte où la densification urbaine est une préoccupation grandissante afin de réduire l’étalement urbain et ainsi s’aligner avec les principes du développement durable. Il vise à concevoir une procédure automatisée permettant de récupérer et d’intégrer les informations nécessaires pour cartographier le potentiel de lotissement de secteurs urbains déjà bâtis ou […]

Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]