5695 search results - page 893 / 1139 » Using Many Cameras as One |
195
click to vote
TARK
2007
Springer
16 years 22 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...
156
click to vote
AUIC
2006
IEEE
16 years 21 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
222
click to vote
ISESE
2006
IEEE
16 years 20 days ago
2006
IEEE
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
183
click to vote
ACNS
2006
Springer
16 years 19 days ago
2006
Springer
Unstructured P2P systems have gained great popularity in recent years and are currently used by millions of users. One fundamental property of these systems is the lack of structu...
186
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...