2468 search results - page 439 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
127
click to vote
IPPS
2003
IEEE
15 years 12 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Â...
168
click to vote
ICDCSW
2002
IEEE
15 years 11 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...
177
click to vote
CCGRID
2004
IEEE
15 years 10 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...
164
click to vote
ICDCS
2005
IEEE
16 years 5 days 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...
153
click to vote
ISCI
2007
15 years 6 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 ...