2470 search results - page 139 / 494 » Liveness-Preserving Simulation Relations |
107
click to vote
ESAS
2006
Springer
15 years 4 months ago
2006
Springer
We investigate the performance of of several protocol enhancements to the On-Demand Secure Byzantine Routing (ODSBR) [3] protocol in the presence of various Byzantine Attack models...
92
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...
143
Voted
JSSPP
1995
Springer
15 years 4 months ago
1995
Springer
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...
101
Voted
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
123
Voted
ATAL
2007
Springer
15 years 2 months ago
2007
Springer
For the past few years many new applications are being developed featuring interactive environments populated with autonomous virtual agents capable of acting according to their g...