1598 search results - page 34 / 320 » A Unified Computation Model for Functional and Logic Program... |
245
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
154
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
135
click to vote
FSE
2010
Springer
15 years 7 months ago
2010
Springer
This paper provides a unified framework for improving PRF (pseudorandom function) advantages of several popular MACs (message authentication codes) based on a blockcipher modeled a...
154
click to vote
ISCIS
2005
Springer
15 years 10 months ago
2005
Springer
This paper deals with problems of computer networks survivability. We present and discuss survivability aspects of Content Delivery Networks (CDNs) and other services based on the ...