Sciweavers

23201 search results - page 406 / 4641
» Rewriting Systems with Data
Sort
View
COMPUTER
2008
60views more  COMPUTER 2008»
15 years 7 months ago
Key-Management Infrastructure for Protecting Stored Data
acting the infrastructure of a cryptographic system into three core components.
Luther Martin
CORR
2004
Springer
110views Education» more  CORR 2004»
15 years 7 months ago
Evolving a Stigmergic Self-Organized Data-Mining
Vitorino Ramos, Ajith Abraham
LFCS
2007
Springer
16 years 1 months ago
Cut Elimination in Deduction Modulo by Abstract Completion
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
Guillaume Burel, Claude Kirchner
PODC
2004
ACM
16 years 1 months ago
On the design of distributed protocols from differential equations
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
Indranil Gupta
IPPS
2007
IEEE
16 years 1 months ago
Storage Optimization for Large-Scale Distributed Stream Processing Systems
We consider storage in an extremely large-scale distributed computer system designed for stream processing applications. In such systems, incoming data and intermediate results ma...
Kirsten Hildrum, Fred Douglis, Joel L. Wolf, Phili...