9067 search results - page 1757 / 1814 » Adaptive Model Checking |
151
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
172
Voted
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
127
Voted
TCC
2009
Springer
16 years 3 months ago
2009
Springer
It is well known that universally composable multiparty computation cannot, in general, be achieved in the standard model without setup assumptions when the adversary can corrupt a...
122
Voted
PKC
2009
Springer
16 years 3 months ago
2009
Springer
We explore the security of blind signatures under aborts where the user or the signer may stop the interactive signature issue protocol prematurely. Several works on blind signatur...
124
click to vote
KDD
2009
ACM
16 years 3 months ago
2009
ACM
In recent years, the blogosphere has experienced a substantial increase in the number of posts published daily, forcing users to cope with information overload. The task of guidin...