174
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
156
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
126
Voted
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
162
click to vote
BICOB
2009
Springer
15 years 10 months ago
2009
Springer
Protein-protein interaction plays critical roles in cellular functions. In this work, we propose a computational method to predict protein-protein interaction by using support vec...
168
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...