1816 search results - page 187 / 364 » Trace oblivious computation |
SPIN
2012
Springer
11 years 11 months ago
2012
Springer
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 ...
PAM
2009
Springer
14 years 3 months ago
2009
Springer
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...
MOBISYS
2007
ACM
14 years 8 months ago
2007
ACM
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 ...
Book
"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...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
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 ...