7742 search results - page 1459 / 1549 » The Robustness of Level Sets |
170
click to vote
MICRO
2009
IEEE
16 years 28 days ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
189
click to vote
TPHOL
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
160
click to vote
ADMA
2009
Springer
16 years 27 days ago
2009
Springer
It is of high biomedical interest to identify gene interactions and networks that are associated with developmental and physiological functions in the mouse embryo. There are now v...
148
click to vote
CANS
2009
Springer
16 years 26 days ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...
181
click to vote
WOLLIC
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...