2436 search results - page 160 / 488 » Comonadic Notions of Computation |
173
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
230
click to vote
IICS
2009
Springer
15 years 11 months ago
2009
Springer
: The Web 2.0 can be regarded as an evolutionary process of medial differentiation. Infinite online communities are emerging and disappearing. It seems that a race has started in s...
157
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—We argue that the traditional notion of trust as a relation among entities, while useful, becomes insufficient for emerging data-centric mobile ad hoc networks. In these system...
140
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
We investigate scalable algorithms for automated composition (WSC) of Semantic Web Services. Our notion of WSC is very general: the composition semantics includes background knowl...
120
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...