The landscape of security has been changed by the increase in online market places, and the rapid growth of mobile and wireless networks. Users are now exposed to greater risks as they interact anonymously in these domains. Despite the existing security paradigms, trust among us…
"460" Result
Sort By:
One of the most recent trends in biometrics is recognition by ear appearance in head profile images. Ear localization to determine the region of interest containing ears is an important step in an ear biometric system. To this end, we propose a robust, simple and effective metho…
A key challenge for modern computer science is the development of technologies that allow interacting computer systems, typically referred as agents, to coordinate their decisions whilst operating in an environment with minimal human intervention. By so doing, the decision makin…
We believe that the task of developing large systems requires a formal approach. The complexity of these systems demands techniques and tool support to simplify the task of formal development. Often large systems are a combination of sub-components that can be seen as modules. E…
Providing antireflection in the visible spectrum is useful for a number of applications. Solar cells, LCD screens, optical lenses and stealth surfaces are a few examples of applications that can benefit from antireflection. In this work, maximizing the performance of a biomimeti…
Micro-Electro-Mechanical-Systems (MEMS) and especially physical sensors are part of a flourishing market ranging from consumer electronics to space applications. They have seen a great evolution throughout the last decades, and there is still considerable research effort for fur…
Formal methods are mathematically based techniques and tools to model software and hardware systems. Event-B is a formal method that emerged over the last decade as an evolution of classical B. Event-B is supported by an open and extensible Eclipse-based tool-set, called Rodin. …
Electrokinetic manipulation offers a flexible and versatile tool to analyse and precisely handle microparticles, it is non invasive and can be easily implemented in microfluidic devices. Those characteristics make the electrokinetic methods appealing in the field of medical diag…
The non-volatile memory market has been driven by Flash memory since its invention more than three decades ago. Today, this non-volatile memory is used in a wide variety of devices and systems from pen drives, mp3 players to cars, planes and satellites. However,the conventional …
This work addresses a gap in the foundations of computer science. In particular, only a limited number of models address design decisions in modern Web architectures. The development of the modern Web architecture tends to be guided by the intuition of engineers. The intuition o…
One of the dominant properties of a global computing network is the incomplete information available to principals about each other. This was the motivation of using the notion of probabilistic trust as an approach to security sensitive decision making in modern open and global …
Complete photonic bandgaps (PBGs) are more readily achieved in highly-symmetric photonic crystals (Ph Cs). Aperiodic crystals (quasicrystals) with arbitrarily high orientational order are promising candidates to lower the dielectric contrast necessary to open PBGs. This thesis i…
In this thesis, we propose several cross-layer operation aided schemes conceived for wireless networks. Cross layer design may overcome the disadvantages of the network's layered architecture, where layering is most typically represented by the Transport Control Protocol (TCP) /…
Advances in silicon technology over the last decade have led to increased integration of analogue and digital functional blocks onto the same single chip. In such a mixed signal environment, the analogue circuits must use the same process technology as their digital neighbours. …
Modern computer systems rely heavily on methods of authentication and identity verification to protect sensitive data. One of the most robust protective techniques involves adding a layer of biometric analysis to other security mechanisms, as a means of establishing the identity…
Coalition formation is a fundamental form of interaction that allows the creation of coherent groupings of distinct, autonomous, agents in order to efficiently achieve their individual or collective goals. Forming effective coalitions is a major research challenge in the field o…
This study investigates the broadcast/multicast authentication problems in wireless sensor networks (WSNs), particularly sensor nodes broadcast authentication and outside user authentication, and proposes efficient and secure solutions for them. The low cost and immunity from ca…
Computer simulations have been used more than ever before to embark on developing and understanding complex systems such as Multi-Agent Systems (MAS). As simulation systems become larger and more complex, scalability becomes an important issue for their successful deployment. PD…
In order to study computationally increasingly complex systems using theoretical methods model Hamiltonians are required to accurately describe the potential energy surface they represent. Also ab-initio methods improve the calculation of the excited states of these complex syst…