959 search results - page 139 / 192 » Transfers between Logics and their Applications |
118
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
107
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
113
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
125
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
The increasing gap between processor and memory performance has led to new architectural models for memory-intensive applications. In this paper, we use a set of memory-intensive ...
CONTEXT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...