535 search results - page 26 / 107 » Do we need dependent types |
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
End-to-end consensus ensures delivery of the same value to the application layer running in distributed processes. Deliveries that have not been acknowledged by the application be...
UM
2005
Springer
14 years 1 months ago
2005
Springer
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...
IC
2004
13 years 9 months ago
2004
The performance of a Web service is primarily dependent on the design and implementation of its SOAP toolkit. SOAP is widely implemented using HTTP as the transport protocol and X...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
SSTA has received a considerable amount of attention in recent years. However, it is a general rule that any approach can only be as accurate as the underlying models. Thus, varia...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...