19700 search results - page 3594 / 3940 » DNA-Based Computation Times |
166
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
183
click to vote
CRYPTO
2010
Springer
15 years 8 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
189
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
209
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
195
click to vote
DEBS
2009
ACM
15 years 8 months ago
2009
ACM
Recently, decentralized publish-subscribe (pub-sub) systems have gained popularity as a scalable asynchronous messaging paradigm over wide-area networks. Most existing pub-sub sys...