1742 search results - page 322 / 349 » A Framework for Network Modeling in Prolog |
132
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...
116
click to vote
ECAL
2005
Springer
15 years 9 months ago
2005
Springer
Recently, in both the neuroscience and adaptive behaviour communities, there has been growing interest in the interplay of multiple timescales within neural systems. In particular,...
133
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
142
click to vote
SACMAT
2004
ACM
15 years 9 months ago
2004
ACM
Emerging trust and risk management systems provide a framework for principals to determine whether they will exchange resources, without requiring a complete definition of their ...
133
click to vote
CDB
2004
Springer
15 years 9 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....