2470 search results - page 427 / 494 » Liveness-Preserving Simulation Relations |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
In this paper we develop a notion of “objective trust” for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential ...
DCC
1999
IEEE
14 years 2 months ago
1999
IEEE
We address the problem of distributed source coding, i.e. compression of correlated sources that are not co-located and/or cannot communicatewith each other to minimize their join...
HPCA
1999
IEEE
14 years 2 months ago
1999
IEEE
We propose Instruction-based Prediction as a means to optimize directory-based cache coherent NUMA shared-memory. Instruction-based prediction is based on observing the behavior o...
IEEEPACT
1999
IEEE
14 years 2 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
ENTCS
2000
13 years 10 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...