3019 search results - page 411 / 604 » Approximating the Domatic Number |
190
click to vote
FOCS
2006
IEEE
16 years 1 months 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...
193
click to vote
INFOCOM
2006
IEEE
16 years 1 months 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...
164
click to vote
ICDCS
2005
IEEE
16 years 24 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...
215
click to vote
STACS
2005
Springer
16 years 20 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 ...
191
click to vote
VMCAI
2005
Springer
16 years 20 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...