Sciweavers

4745 search results - page 782 / 949
» Discretization: An Enabling Technique
Sort
View
COMPSEC
2008
116views more  COMPSEC 2008»
15 years 6 months ago
Enforcing memory policy specifications in reconfigurable hardware
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timo...
CORR
2008
Springer
136views Education» more  CORR 2008»
15 years 6 months ago
Matrix Graph Grammars
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
Pedro Pablo Pérez Velasco
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 6 months ago
Order-Optimal Consensus through Randomized Path Averaging
Gossip algorithms have recently received significant attention, mainly because they constitute simple and robust message-passing schemes for distributed information processing over...
Florence Bénézit, Alexandros G. Dima...
CORR
2008
Springer
88views Education» more  CORR 2008»
15 years 6 months ago
RubberEdge: Reducing Clutching by Combining Position and Rate Control with Elastic Feedback
Position control devices enable precise selection, but significant clutching degrades performance. Clutching can be reduced with high control-display gain or pointer acceleration,...
Géry Casiez, Daniel Vogel, Qing Pan, Christ...
CORR
2008
Springer
166views Education» more  CORR 2008»
15 years 6 months ago
Information-Theoretically Secure Voting Without an Honest Majority
We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities...
Anne Broadbent, Alain Tapp