19003 search results - page 319 / 3801 » We Need Assurance |
161
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Several new, data-oriented internetworking architectures have been proposed recently. However, the practical deployability of such designs is an open question. In this paper, we c...
214
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
164
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
147
click to vote
IKE
2007
15 years 8 months ago
2007
- Organizations need to build and use knowledge to remain viable in the face of competition and change. Due to the limits of organization and the bounded rationality of individuals...
155
click to vote
IM
2007
15 years 8 months ago
2007
Abstract— The deployment of converged services of TV, telephony, and Internet access over IP entails a significant initial investment for service providers. This investment is n...