5255 search results - page 660 / 1051 » Formal Methods for Privacy |
148
click to vote
MEMOCODE
2005
IEEE
16 years 12 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
193
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
186
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
198
click to vote
FMCO
2005
Springer
16 years 11 days ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
174
click to vote
FORMATS
2005
Springer
16 years 11 days ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...