99 search results - page 13 / 20 » Reasoning about Topological and Positional Information in Dy... |
172
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
CHI
2003
ACM
15 years 11 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
CCS
2010
ACM
15 years 6 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
118
click to vote
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
Graph is an important data structure to model complex structural data, such as chemical compounds, proteins, and XML documents. Among many graph data-based applications, sub-graph ...
100
Voted
DIMVA
2006
15 years 15 days ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...