123 search results - page 16 / 25 » Abstracting out Byzantine Behavior |
MSR
2010
ACM
14 years 21 days ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...
ESOP
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
SCALESPACE
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...