4099 search results - page 391 / 820 » A Framework for Interactive Proof |
193
click to vote
COMPSAC
2003
IEEE
16 years 2 days 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...
174
click to vote
CONCUR
2003
Springer
16 years 9 hour ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
169
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
180
click to vote
PLILP
1992
Springer
15 years 10 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
195
click to vote
PODC
2010
ACM
15 years 10 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...