11345 search results - page 1720 / 2269 » Foundations of Computer Science |
176
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
202
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a rule-based system for automatic extraction of definitions from Portuguese texts. As input, this system takes text that is previously annotated with morph...
148
click to vote
CANDT
2009
15 years 10 months ago
2009
Once acquainted with the modern information and communication tools made available with the advent of the Internet, five Brazilian rural communities participating in a pilot proje...
189
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
A cover-free family is a well-studied combinatorial structure that has many applications in computer science and cryptography. In this paper, we propose a new public key traitor t...
159
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The frameworks for protecting security and privacy can be effective only if common users--with no training in computer science or logic--increase their awareness and cont...