12193 search results - page 210 / 2439 » It's not all about |
169
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
149
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
175
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
A leakage-resilient cryptosystem remains secure even if arbitrary, but bounded, information about the secret key (or possibly other internal state information) is leaked to an adv...
161
click to vote
EGOV
2007
Springer
16 years 21 days ago
2007
Springer
Although the electronic government is under heavy development, a clear vision doesn’t seem to exist. In this study 20 interviews among leaders in the field of e-government in the...
153
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...