4036 search results - page 497 / 808 » Formal Methods |
166
click to vote
GLVLSI
2006
IEEE
16 years 22 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 ...
162
Voted
IPCCC
2006
IEEE
16 years 21 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...
150
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
194
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
156
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...