19003 search results - page 124 / 3801 » We Need Assurance! |
147
click to vote
LISA
2004
15 years 6 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...
147
click to vote
IJCAI
1989
15 years 6 months ago
1989
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...
140
Voted
WCE
2007
15 years 6 months ago
2007
Abstract— In this survey we take a look at different approaches proposed in the literature for addressing the privacy and security issues derived from the Radio-Frequency IDenti...
319
Voted
IJNSEC
2008
15 years 5 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
125
Voted
FAC
2007
15 years 5 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...