3119 search results - page 250 / 624 » General Default Logic |
162
click to vote
WOSP
2010
ACM
16 years 16 days ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
162
click to vote
MSWIM
2009
ACM
16 years 14 days ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...
163
click to vote
CCS
2007
ACM
15 years 12 months ago
2007
ACM
Computer usage and threat models have changed drastically since the advent of access control systems in the 1960s. Instead of multiple users sharing a single file system, each us...
152
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
Many wireless sensor network protocols are employing gossipbased message dissemination, where nodes probabilistically forward messages, to reduce message overhead. We are concerne...
165
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...