989 search results - page 95 / 198 » HowNet and Its Computation of Meaning |
153
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
127
click to vote
ICDCSW
2003
IEEE
15 years 10 months ago
2003
IEEE
The university campus is an interesting application environment for the ubiquitous computing paradigm: a large number of users share a substantial amount of their information need...
143
Voted
CSE
2008
IEEE
15 years 6 months ago
2008
IEEE
A well-known challenge during processor design is to obtain best possible results for a typical target application domain by combining flexibility and computational performance. A...
128
Voted
IJCAI
2007
15 years 6 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
128
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
When investigating the performance of running scientific/ commercial workflows in parallel and distributed systems, we often take into account only the resources allocated to the ...