Tiny Transactions on Computer Science, Volume 2
Concurrency and Consistency
: Is Ordering of Disk Updates Required to Maintain File-System Crash-Consistency?
Genomes, Theory, and Quantum Computing
: First-order theorem proving in the exploration of Andrews-Curtis conjecture.
Information, Data, Language, and HCI
: A Restriction-Centered Theory of Reasoning and Computation to materialize a Web 3.0.
: See straight through data center bandwidth limitations with X-Rays.
: Using MOOCs as a global testbed for network measurement.
Security and Privacy
: Securing Two-factor Authentication for Smartphones in a Usable Way by Adding a Connected Token.
: Don't show your hand: on the security leakages of *BFT systems.
: Exploiting User Behaviors from Today's Online Social Networks to Build Distributed Alternatives.
: Applying existing software metrics to development release cycles.