12774 search results - page 130 / 2555 » A Framework for Proof Systems |
187
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
219
click to vote
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
109
click to vote
IGPL
2002
15 years 4 months ago
2002
The system of natural deduction that originated with Gentzen (1934
187
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
135
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...