The paper investigates the interaction effects between the search strategy of software agents and the subject's product class knowledge. The experimental study consists of a ...
: In this paper, we have focused on using the bolero.net community in the semantic web and grid environment. Bolero.net represents a community with the ambitious initiatives to sta...
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...