1940 search results - page 61 / 388 » The Dynamic Logic of Permission |
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
MOBISYS
2008
ACM
15 years 11 months ago
2008
ACM
Increasingly, 802.11 devices are being used by mobile users. This results in very dynamic wireless channels that are difficult to use efficiently. Current rate selection algorithm...
SENSYS
2006
ACM
15 years 5 months ago
2006
ACM
Computing and maintaining network structures for efficient data aggregation incurs high overhead for dynamic events where the set of nodes sensing an event changes with time. Mor...
109
click to vote
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
Disk performance is increasingly limited by its head positioning latencies, i.e., seek time and rotational delay. To reduce the head positioning latencies, we propose a novel tech...
112
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...