5639 search results - page 284 / 1128 » Timed Abstract Non-interference |
139
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider the problem of query containment for conjunctive queries with safe negation property. A necessary and sufficient condition for two queries to be in containmen...
100
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Costas array enumeration is an NP-complete problem with a highly parallelize-able solution. This paper examines the implementation of a solution to this problem on an F...
136
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
123
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Bulk-Synchronous Parallel ML (BSML) is a functional dataparallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, a...
96
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...