598 search results - page 105 / 120 » Generic Trace Theory |
202
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
197
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
192
click to vote
VLDB
2007
ACM
16 years 55 min ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
97
Voted
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Mobile opportunistic networks are characterized by unpredictable mobility, heterogeneity of contact rates and lack of global information. Successful delivery of messages at low co...
285
click to vote
STACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this talk, I will review some of the work performed by the research community in cryptology and security since the invention of public key cryptography by Diffie and H...