1912 search results - page 353 / 383 » On the evaluation of argumentation formalisms |
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
Displaying website privacy policies to consumers in ways they understand is an important part of gaining consumers’ trust and informed consent, yet most website privacy policies...
105
click to vote
ICDCS
2008
IEEE
15 years 6 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—In this paper, towards improving spatial reuse in a cellular network, we consider augmenting it with wireless ad hoc connectivity. The coverage area of each base-station is redu...
102
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
MICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Transactional Memory (TM) systems must track the read and write sets—items read and written during a transaction—to detect conflicts among concurrent transactions. Several TM...