6800 search results - page 986 / 1360 » Testing with Functions as Specifications |
171
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Mobile ad hoc network routing protocols are highly susceptible to subversion. Previous research in securing these protocols has typically used techniques based on encryption and r...
176
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
176
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
177
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
176
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...