16616 search results - page 2938 / 3324 » Extending Extended Vacuity |
171
Voted
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
185
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
162
Voted
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Computer systems are resource constrained. Application adaptation is a useful way to optimize system resource usage while satisfying the application performance constraints. Previ...
182
Voted
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
Topological persistence has proven to be a key concept for the study of real-valued functions defined over topological spaces. Its validity relies on the fundamental property tha...
176
Voted
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Increasingly, large organizations are experimenting with internal social media (e.g., blogs, forums) as a platform for widespread distributed collaboration. Contributions to their...