6355 search results - page 1182 / 1271 » From Logic to Games |
191
click to vote
TARK
2007
Springer
16 years 15 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
194
click to vote
VLDB
2007
ACM
16 years 15 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
199
click to vote
RTSS
2006
IEEE
16 years 12 days ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
163
click to vote
CASES
2006
ACM
16 years 11 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
157
click to vote
CHI
2006
ACM
16 years 11 days ago
2006
ACM
Multi-display environments and smart meeting rooms are now becoming more common. These environments build a shared display space from variety of devices: tablets, projected surfac...