5158 search results - page 682 / 1032 » Generalization of the Dempster-Shafer Theory |
174
click to vote
SPAA
2005
ACM
16 years 11 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
165
Voted
SPAA
2005
ACM
16 years 11 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
145
click to vote
STORAGESS
2005
ACM
16 years 11 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
169
click to vote
WS
2005
ACM
16 years 11 days ago
2005
ACM
The growing popularity of mobile networks makes them increasingly attractive to virus writers, and malicious code targeting mobile devices has already begun to appear. Unfortunate...
163
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...