14386 search results - page 2667 / 2878 » The Chinese Generals Problem |
150
click to vote
PLDI
2006
ACM
16 years 3 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...
169
click to vote
PLDI
2006
ACM
16 years 3 days ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
193
click to vote
PODC
2006
ACM
16 years 3 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...
209
Voted
PPOPP
2006
ACM
16 years 3 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
165
click to vote
SAC
2006
ACM
16 years 3 days ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...