1662 search results - page 192 / 333 » Privately Finding Specifications |
107
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
E-commerce is presently operating under its expected capacity, mainly because traders find it very difficult to trust one another online for trading decisions. It is therefore ver...
110
Voted
ASUNAM
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present a horizontal view of social influence, more specifically a quantitative study of the influence of neighbours on the probability of a particular node to jo...
98
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
119
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
79
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
Monitoring occurs when users return to previously viewed web pages to view new or updated information. While tools exist to support web-based monitoring, we know little about the ...