4158 search results - page 620 / 832 » A Framework for Web Science |
174
click to vote
ICDS
2008
IEEE
16 years 17 days ago
2008
IEEE
In order to provide a generic, applicationindependent and resource-efficient framework for server redundancy and session failover, the IETF RSerPool WG is currently standardizing ...
164
click to vote
TPHOL
2008
IEEE
16 years 15 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
133
click to vote
HICSS
2007
IEEE
16 years 13 days ago
2007
IEEE
The implementation of e-government is a challenging task in any developed political context, but all the more uniquely so in the post-communist transitioning countries. These coun...
159
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
146
click to vote
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...