8838 search results - page 156 / 1768 » Generalizing Domain Theory |
117
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
155
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
164
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
148
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
127
click to vote
FSS
2008
15 years 4 months ago
2008
This paper studies fuzzy relations in the graded framework of Fuzzy Class Theory (FCT). This includes (i) rephrasing existing work on graded properties of binary fuzzy relations i...