1231 search results - page 237 / 247 » A Framework for Belief Update |
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
INFOCOM
2002
IEEE
14 years 19 days ago
2002
IEEE
—This paper describes a novel framework, called Distributed Partial Information Management (or DPIM). It addresses several major challenges in achieving efficient shared path pr...
CRYPTO
2001
Springer
14 years 6 days ago
2001
Springer
We deal with the problem of a center sending a message to a group of users such that some subset of the users is considered revoked and should not be able to obtain the content of...
IWAN
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
MATA
2000
Springer
13 years 11 months ago
2000
Springer
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...