2540 search results - page 478 / 508 » Abstract Logics as Dialgebras |
102
click to vote
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We propose PRoPHET+, a routing scheme for opportunistic networks designed to maximize successful data delivery rate and minimize transmission delay. PRoPHET+ computes a ...
114
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
125
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
120
click to vote
AIPS
2008
15 years 4 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
131
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...