2486 search results - page 463 / 498 » A Type System for Computationally Secure Information Flow |
109
click to vote
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...
120
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
169
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
121
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
136
click to vote
NSDI
2010
15 years 5 months ago
2010
Existing flooding algorithms have demonstrated their effectiveness in achieving communication efficiency and reliability in wireless sensor networks. However, further performance ...