3019 search results - page 411 / 604 » Approximating the Domatic Number |
167
click to vote
FOCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Secret sharing and multiparty computation (also called “secure function evaluation”) are fundamental primitives in modern cryptography, allowing a group of mutually distrustfu...
165
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Monitoring the traffic in high-speed networks is a data intensive problem. Uniform packet sampling is the most popular technique for reducing the amount of data the network mo...
147
click to vote
ICDCS
2005
IEEE
16 years 5 days ago
2005
IEEE
Stream processing has become increasingly important with emergence of stream applications such as audio/video surveillance, stock price tracing, and sensor data analysis. A challe...
190
click to vote
STACS
2005
Springer
16 years 1 days ago
2005
Springer
Exponential algorithms, i.e. algorithms of complexity O(cn ) for some c > 1, seem to be unavoidable in the case of NP-complete problems (unless P=NP), especially if the problem ...
171
click to vote
VMCAI
2005
Springer
16 years 1 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...