23704 search results - page 121 / 4741 » Data and Information as Property |
275
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
180
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The performance of randomized network coding can suffer significantly when malicious nodes corrupt the content of the exchanged blocks. Previous work have introduced error corr...
153
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
Over the last few years rapid progress has been made in moving from conceptual studies, “whitepapers” and initiatives to the actual deployment of e-Government systems [13]. In...
144
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
Geographic information is defined as a subset of spatial information, specific to the spatiotemporal frame of the Earth’s surface. Thus geographic information theory inherits the...
174
click to vote
ISI
2005
Springer
15 years 12 months ago
2005
Springer
Intelligence analysts are flooded with massive amounts of data from a multitude of sources and in many formats. From this raw data they attempt to gain insight that will provide de...