4485 search results - page 334 / 897 » Equivalences on Observable Processes |
167
Voted
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
A common way of resisting protocol attacks is to employ cryptographic techniques so that provable security can be retained. However, some desired requirements of watermarking such...
191
click to vote
SIGIR
2005
ACM
16 years 10 days ago
2005
ACM
State-of-the-art question answering (QA) systems employ termdensity ranking to retrieve answer passages. Such methods often retrieve incorrect passages as relationships among ques...
162
click to vote
CSCW
2004
ACM
16 years 6 days ago
2004
ACM
Collaborative authoring is a common workplace task. Yet, despite improvements in word processors, communication software, and file sharing, many problems continue to plague co-aut...
159
click to vote
ICICS
2004
Springer
16 years 4 days ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...
187
click to vote
KBSE
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...