12774 search results - page 43 / 2555 » A Framework for Proof Systems |
142
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
243
Voted
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
136
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
111
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
141
Voted
PODC
2011
ACM
14 years 6 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...