Sciweavers

9503 search results - page 370 / 1901
» Authenticated System Calls
Sort
View
SRDS
2007
IEEE
16 years 1 months ago
Evaluating Byzantine Quorum Systems
Replication is a mechanism extensively used to guarantee the availability and good performance of data storage services. Byzantine Quorum Systems (BQS) have been proposed as a sol...
Wagner Saback Dantas, Alysson Neves Bessani, Joni ...
FOSSACS
2007
Springer
16 years 1 months ago
The Rewriting Calculus as a Combinatory Reduction System
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
Clara Bertolissi, Claude Kirchner
IFIP
2007
Springer
16 years 1 months ago
A Reputation-Based Approach for Securing Vivaldi Embedding System
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
Damien Saucez, Benoit Donnet, Olivier Bonaventure
ICMCS
2006
IEEE
110views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Multimedia indexing and fast retrieval based on a vote system
We present a new system, called Retimm, for searching databases made of documents containing images and text. Images are indexed by colour and texture distributions.. Colour and t...
Sylvie Philipp-Foliguet, Guillaume Logerot, Patric...
IROS
2006
IEEE
109views Robotics» more  IROS 2006»
16 years 1 months ago
SUPERBOT: A Deployable, Multi-Functional, and Modular Self-Reconfigurable Robotic System
– Self-reconfigurable robots are modular robots that can autonomously change their shape and size to meet specific operational demands. Recently, there has been a great interest ...
Behnam Salemi, Mark Moll, Wei-Min Shen