130 search results - page 13 / 26 » Computational Logical Frameworks and Generic Program Analysi... |
DOCENG
2008
ACM
13 years 9 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
IJHPCA
2002
13 years 7 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...