Sciweavers

59 search results - page 4 / 12
» Electronic Meeting Support for Councils
Sort
View
TARK
2007
Springer
14 years 1 months ago
Knowledge-based modelling of voting protocols
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
A. Baskar, Ramaswamy Ramanujam, S. P. Suresh
CRYPTO
1998
Springer
83views Cryptology» more  CRYPTO 1998»
13 years 11 months ago
Time-Stamping with Binary Linking Schemes
We state the basic requirements for time-stamping systems applicable as the necessary support to the legal use of electronic documents. We analyze the main drawbacks of the time-st...
Ahto Buldas, Peeter Laud, Helger Lipmaa, Jan Wille...
HICSS
2007
IEEE
111views Biometrics» more  HICSS 2007»
14 years 1 months ago
Comprehensive Urban Planning: A Framework for Group Decision
Previous research in Group Support Systems does not include a design theory for GSS-enabled meetings. As a consequence, problems are experienced in the design, implementation and ...
Jim Sheffield
CN
1998
100views more  CN 1998»
13 years 7 months ago
Metabroker: A Generic Broker for Electronic Commerce
In traditional commerce, brokers act as middlemen between customers and providers, aggregating, repackaging and adding value to products, services or information. In the broadest ...
Steve J. Caughey, David B. Ingham, Paul Watson
VLDB
2001
ACM
99views Database» more  VLDB 2001»
13 years 11 months ago
French government activity in the conservation of data and electronic documents
French government has launch in 2000 a public debate about conservation of data and electronic documents. Due to the widespread use of Internet and extranet technologies, especial...
Serge Novaretti