1419 search results - page 158 / 284 » Notes on Formalizing Context |
103
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
127
Voted
IDTRUST
2009
ACM
15 years 7 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
131
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
110
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
107
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Caches are commonly employed to hide the latency gap between memory and the CPU by exploiting locality in memory accesses. The cache performance strongly influences a system’...