5255 search results - page 208 / 1051 » Formal Methods for Privacy |
132
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
109
Voted
FOCM
2010
15 years 2 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
125
click to vote
ISQED
2008
IEEE
15 years 10 months ago
2008
IEEE
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...
116
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government...
102
click to vote
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...