Sciweavers

1120 search results - page 37 / 224
» Trust in Electronic Environments
Sort
View
JECR
2000
157views more  JECR 2000»
13 years 7 months ago
Optimizing Human-Computer Interaction for the Electronic Commerce Environment
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 ...
Rex Eugene Perera
IJWBC
2006
85views more  IJWBC 2006»
13 years 7 months ago
Bolero.net in the semantic web and GRID environment
: 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...
Violeta Damjanovic, Vladan Devedzic, Dragan Djuric...
ESORICS
2010
Springer
13 years 8 months ago
Election Verifiability in Electronic Voting Protocols
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...
Steve Kremer, Mark Ryan, Ben Smyth