4794 search results - page 894 / 959 » Trust-Based Mechanism Design |
133
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
157
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
160
click to vote
ICN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
146
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
134
click to vote
IPMI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...