5550 search results - page 373 / 1110 » Different Approaches to Proof Systems |
187
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
In our paper we argue that the building of trust in electronic commerce depends only partly on technical security and the knowledge of security gaps and ways of closing them. It i...
136
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
181
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
262
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...
175
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Knowledge of the network path properties such as latency, hop count, loss and bandwidth is key to the performance of overlay networks, grids and p2p applications. Network operat...