5255 search results - page 528 / 1051 » Formal Methods for Privacy |
237
click to vote
CRITIS
2009
15 years 8 months ago
2009
Abstract. Global energy generation and delivery systems are transitioning to a new computerized "smart grid". One of the principle components of the smart grid is an adva...
258
click to vote
ISI
2008
Springer
15 years 7 months ago
2008
Springer
A social network is defined as a social structure of individuals, who are related (directly or indirectly to each other) based on a common relation of interest, e.g. friendship, t...
219
click to vote
ISI
2002
Springer
15 years 6 months ago
2002
Springer
Dealing with large volumes of data, OLAP data cubes aggregated values are often spoiled by errors due to missing values in detailed data. This paper suggests to adjust aggregate an...
175
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe a novel method for authenticating multicast packets that is robust against packet loss. Our main focus is to minimize the size of the communication overhead required t...
247
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...