5326 search results - page 433 / 1066 » On what we can ensure |
162
click to vote
ESCIENCE
2005
IEEE
16 years 15 days ago
2005
IEEE
As the amount of scientific information available to researchers increases, the challenge of sifting through the information to find what is truly important to their work increase...
207
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
192
click to vote
NORDICHI
2004
ACM
16 years 9 days ago
2004
ACM
In speech interfaces users must be aware what can be done with the system – in other words, the system must provide information to help the users to know what to say. We have ad...
202
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
175
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...