116 search results - page 10 / 24 » From Legal Principles to an Internet Voting System |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Phishing attacks, in which criminals lure Internet users to websites that impersonate legitimate sites, are occurring with increasing frequency and are causing considerable harm t...
111
click to vote
ICWSM
2009
14 years 7 months ago
2009
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...
HT
2005
ACM
15 years 3 months ago
2005
ACM
The technical and competence requirements for writing content on the web is still one of the major factors that widens the gap between authors and readers. Although tools that sup...
ICARCV
2002
IEEE
15 years 2 months ago
2002
IEEE
With the advances in digital imagery, large accessible data storage, internet repositories, and image applications, information conveyed through images is gaining in importance. T...
122
click to vote
SCP
2011
14 years 4 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...