1743 search results - page 221 / 349 » Generalized Modal Satisfiability |
145
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...
128
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
In traditional peer-to-peer search networks, operations focus on properly labeled files such as music or video, and the actual search is often limited to text tags. The explosive ...
259
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
130
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
There is a natural intuitive match between anonymity and information theory. In particular, the maximal anonymity loss in anonymity protocols can be matched to the information the...
133
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...