We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Abstract. The 95-percentile method is used widely for billing ISPs and websites. In this work, we characterize important aspects of the 95-percentile method using a large set of tr...
Xenofontas A. Dimitropoulos, Paul Hurley, Andreas ...
Presence-sharing is an emerging platform for mobile applications, but presence-privacy remains a challenge. Privacy controls must be flexible enough to allow sharing between both ...
"Even the material of this book, even my own dreams, defaced by time or superseded, by means of which I have demonstrated the rules of dream-interpretation, revealed, when I c...
In this paper a method suitable for partial matching between 3D objects is presented. The 3D objects are firstly segmented into meaningful parts extending a method which is based ...