Sciweavers

16702 search results - page 2919 / 3341
» Server operating systems
Sort
View
NOSSDAV
2009
Springer
16 years 1 months ago
Probabilistic event resolution with the pairwise random protocol
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
John L. Miller, Jon Crowcroft
SAT
2009
Springer
126views Hardware» more  SAT 2009»
16 years 1 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
SEKE
2009
Springer
16 years 1 months ago
Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine Learning
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
Stefan Axelsson, Dejan Baca, Robert Feldt, Darius ...
ACMACE
2009
ACM
16 years 1 months ago
The Bronco: a proof-of-concept adaptive fairground ride
This paper presents a proof-of-concept for a novel design of fairground ride, which has been developed as part of an ongoing exploration into the use of wearable bio-sensing to en...
Stefan Rennick Egglestone, Joe Marshall, Brendan W...
APLAS
2009
ACM
16 years 1 months ago
Ownership Downgrading for Ownership Types
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
Yi Lu 0003, John Potter, Jingling Xue
« Prev « First page 2919 / 3341 Last » Next »