23704 search results - page 446 / 4741 » Data and Information as Property |
192
click to vote
ICFEM
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
186
click to vote
GEOINFORMATICA
2006
15 years 7 months ago
2006
Abstract A co-location pattern is a group of spatial features/events that are frequently co-located in the same region. For example, human cases of West Nile Virus often occur in r...
150
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
168
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
226
click to vote
IPAW
2010
15 years 5 months ago
2010
The World Wide Web evolves into a Web of Data, a huge, globally distributed dataspace that contains a rich body of machineprocessable information from a virtually unbound set of pr...