5456 search results - page 992 / 1092 » General Equilibrium Theory |
156
click to vote
MOBIHOC
2006
ACM
16 years 7 days ago
2006
ACM
A large number of practical sensing and actuating applications require immediate notification of rare but urgent events and also fast delivery of time sensitive actuation command...
161
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
154
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
196
click to vote
PODC
2006
ACM
16 years 7 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
167
click to vote
PODC
2006
ACM
16 years 7 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...