Sciweavers

4126 search results - page 95 / 826
» Modelling Electronic Organizations
Sort
View
CSFW
2005
IEEE
16 years 11 days ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth
JCDL
2005
ACM
162views Education» more  JCDL 2005»
16 years 9 days ago
Integrating digital libraries and electronic publishing in the DART project
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...
Gordon Dahlquist, Brian Hoffman, David Millman
ESOP
2005
Springer
16 years 8 days ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
IPM
2007
156views more  IPM 2007»
15 years 6 months ago
Integration of an XML electronic dictionary with linguistic tools for natural language processing
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...
Octavio Santana Suárez, Francisco J. Carrer...
CN
1999
77views more  CN 1999»
15 years 6 months ago
Efficiency Analysis of Brokers in the Electronic Marketplace
In this paper we analyze the behavior of e-commerce users based on actual logs from two large non-English e-brokers. We start by presenting a quantitative study of the behavior of...
Virgilio Almeida, Wagner Meira Jr., Victor F. Ribe...