8337 search results - page 1463 / 1668 » Reasoning With Characteristic Models |
148
click to vote
EH
2005
IEEE
15 years 10 months ago
2005
IEEE
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
118
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Optical networking may dramatically change high performance distributed computing. One reason is that optical networks can support provisioning dynamically configurable lightpath...
134
Voted
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent researches have highlighted the importance of developing a network with distributed problem solving abilities thus enhancing reliability with equal share of network resourc...
129
click to vote
LAWEB
2005
IEEE
15 years 10 months ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
114
Voted
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...