2468 search results - page 439 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we overview general hardware architecture and a programming model of SRC-6ETM reconfigurable computers, and compare the performance of the SRC-6E machine vs. IntelÂ...
127
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
128
click to vote
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
127
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
111
click to vote
ISCI
2007
15 years 3 months ago
2007
Selectivity estimation is an important step of query optimization in a database management system, and multidimensional histogram techniques have proved promising for selectivity ...