2838 search results - page 323 / 568 » Verifying Controlled Components |
116
Voted
BPSC
2010
14 years 10 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
INTERSPEECH
2010
14 years 7 months ago
2010
This paper proposes a new phase vocoder based method for shape invariant real-time modification of speech signals. The performance of the method with respect voiced and unvoiced s...
101
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Anycast is a communication paradigm that was first introduced to the suit of routing protocols in IPv6 networks. In anycast, a packet is intended to be delivered to one of the...
116
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
UIST
2005
ACM
15 years 6 months ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...