2436 search results - page 146 / 488 » Comonadic Notions of Computation |
133
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
102
click to vote
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
127
click to vote
EMMCVPR
2003
Springer
15 years 9 months ago
2003
Springer
We study a notion of variation for real valued two variable functions called the path variation and we discuss its application as a low-level image segmentation method. For this pu...
119
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
109
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...