6293 search results - page 150 / 1259 » Information Flow Testing |
102
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
We study the dynamics of information propagation in environments of low-overhead personal publishing, using a large collection of weblogs over time as our example domain. We chara...
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Land parcels are the foundation for many aspects of public and community life. This report presents the findings of a study of information about land parcels in New York State. It...
161
click to vote
MSCS
2006
15 years 3 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
113
click to vote
DSS
2000
15 years 3 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
140
click to vote
SERVICES
2008
15 years 4 months ago
2008
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...