90 search results - page 9 / 18 » On the Implementation of @pre |
149
click to vote
IADIS
2004
15 years 3 months ago
2004
Various researches have proposed multiple protocols within 802.11 security to protect and authenticate access to wireless LAN. This paper presents the first implementation of EAP-...
129
click to vote
SIGPLAN
1998
15 years 1 months ago
1998
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
FASE
2004
Springer
15 years 7 months ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
106
click to vote
IJON
2007
15 years 1 months ago
2007
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...
100
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...