5255 search results - page 780 / 1051 » Formal Methods for Privacy |
188
click to vote
RSEISP
2007
Springer
16 years 22 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
162
click to vote
ANSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
165
click to vote
GLVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
147
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
159
Voted
IPCCC
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...