Research Publications
All Journal Publication - 2009 | |
| Narrow your search | 160 result(s) |
By Type By Year By Research Group | This paper presents an approach to the problem of accommodating vague discourse in the framework of a system of logic. The proposed logic is related to standard fuzzy logics such as the Lukasiewicz systems, but has better proof-theoretic properties. ... In this paper, we present a texture descriptor algorithm called Invariant Features of Local Textures (IFLT). IFLT generates scale, rotation and (essentially) illumination invariant descriptors from a small neighbourhood of pixels around a centre pixel or ... Quality of service (QoS) management is becoming an integral part of current web services. Contracts are playing a very important role in MAPE-based (monitor, analyse, plan and execute) web service QoS anagement. Therefore, we propose a general model, ... We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled ... Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend is currently observed by mobile phone service providers which have measured a significant increase in multimedia traffic. To better carry ... Background: It has been a long-standing biological challenge to understand the molecular regulatory mechanisms behind mammalian ageing. Harnessing the availability of many ageing microarray datasets, a number of studies have shown that it is possible to... Two years ago Gernot Heiser demanded in this venue "Your System is Secure? Prove it!" He also mentioned the L4.verified project at NICTA which is doing just that. This proof is now completed and in this article I'm showing what we have ... |