1465 search results - page 57 / 293 » Making the Correct Mistakes |
104
click to vote
JDCTA
2010
14 years 6 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
JCDL
2010
ACM
15 years 5 months ago
2010
ACM
Digitizing legacy documents and marking them up with XML is important for many scientific domains. However, creating comprehensive semantic markup of high quality is challenging. ...
FLAIRS
2008
15 years 2 months ago
2008
Understanding answers to open-ended explanation questions is important in intelligent tutoring systems. Existing systems use natural language techniques in essay analysis, but rev...
VLDB
1990
ACM
15 years 3 months ago
1990
ACM
Remotebackup copies of databasesare often maintained to ensureavailability of dataevenin thepresenceof extensive failures, for which local replication mechanismsmay be inadequate....
107
click to vote
CLIMA
2008
15 years 1 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...