157 search results - page 32 / 32 » Formal Probabilistic Analysis: A Higher-Order Logic Based Ap... |
CMOT
2004
13 years 5 months ago
2004
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...