2488 search results - page 451 / 498 » An improvement in formal verification |
CANDC
2007
ACM
15 years 3 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
129
click to vote
CONEXT
2008
ACM
15 years 3 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
118
click to vote
DEXA
2008
Springer
15 years 3 months ago
2008
Springer
Opinion mining received well attention in finding personal opinions from user generated content. These opinions contain valuable information for improving and/or comparing the prod...
124
click to vote
FC
2008
Springer
15 years 3 months ago
2008
Springer
Oblivious transfer (OT) is a fundamental primitive used in many cryptographic protocols, including general secure function evaluation (SFE) protocols. However, interaction is a pri...
132
click to vote
IESA
2007
15 years 2 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...