8493 search results - page 1518 / 1699 » Implementing a distributed firewall |
140
click to vote
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
161
click to vote
ICDCS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--To take advantage of the broadcast nature of wireless communication, a number of opportunistic routing techniques have recently been proposed. In order to manage the extr...
128
click to vote
COLCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
—Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express con...
123
click to vote
CLUSTER
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--SUDA2 is a recursive search algorithm for Minimal Unique Itemset detection. Such sets of items are formed via combinations of non-obvious attributes enabling individual r...
168
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The deployment of Share Data Spaces in open, possibly hostile, environments arises the need of protecting the confidentiality of the data space content. Existing approach...