5639 search results - page 150 / 1128 » Timed Abstract Non-interference |
126
click to vote
ERCIMDL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recent work on analyzing query logs shows that a significant fraction of queries are temporal, i.e., relevancy is dependent on time, and temporal queries play an importan...
117
Voted
TWC
2008
15 years 1 months ago
2008
Abstract-- This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets success...
140
click to vote
CLUSTER
2002
IEEE
15 years 1 months ago
2002
IEEE
Abstract. We describe and evaluate the Running Time Advisor (RTA), a system that can predict the running time of a compute-bound task on a typical shared, unreserved commodity host...
113
click to vote
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract-- Cooperative communications can be used to improve communication reliability. However, the transmissions from different relaying nodes result in a great challenge in prac...
129
click to vote
CJ
2010
14 years 11 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...