2940 search results - page 86 / 588 » Relational Parametricity and Control |
152
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
116
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
171
click to vote
PRDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
174
Voted
PKDD
2004
Springer
15 years 9 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
129
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...