958 search results - page 135 / 192 » Resolving the Micropayment Problem |
ITCC
2002
IEEE
14 years 4 months ago
2002
IEEE
In this paper we demonstrate that in an ideal Distributed Information Retrieval environment, taking the ability of each collection server to return relevant documents into account...
VL
2002
IEEE
14 years 4 months ago
2002
IEEE
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
WISE
2002
Springer
14 years 4 months ago
2002
Springer
Despite of the popularity of global search engines, people still suffer from low accuracy of site search. The primary reason lies in the difference of link structures and data sca...
ECOOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...