6527 search results - page 167 / 1306 » On Typing Information Flow |
FUIN
2002
13 years 9 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...
WWW
2004
ACM
14 years 9 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
14 years 3 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...
MSCS
2006
13 years 9 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...
DSS
2000
13 years 9 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...