Recently, a server-less video-on-demand architecture has been proposed which can completely eliminate costly dedicated video servers and yet is highly scalable and reliable. Due to...
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
Lauren O'Donnell, Carl-Fredrik Westin, W. Eric L. ...
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...