1833 search results - page 241 / 367 » Mechanized Verification with Sharing |
189
click to vote
IJNSEC
2011
2011
Location-aware, Trust-based Detection and Isolation of Compromised Nodes in Wireless Sensor Networks
15 years 1 months ago
The detection and isolation of compromised nodes in wireless sensor networks is a difficult task. However, failure to identify and isolate compromised nodes results in significan...
164
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Social media, by its very nature, introduces questions about ownership. Ownership comes into play most crucially when we investigate how social media is saved or archived; how it ...
170
click to vote
COGSCI
2011
14 years 10 months ago
2011
What mechanisms underlie children’s language production? Structural priming—the repetition of sentence structure across utterances—is an important measure of the developing ...
166
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
161
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Analyzing TCP operation over 802.11 multihop ad hoc networks involves a cross-layer study. In this work, we investigate the effect of congestion and MAC contention on the interact...