Tiny Transactions on Computer Science, Volume 3
Formal Verification and Programming Languages
Machine Learning and Natural Language Processing
: Sarcasm Detection: Beyond Machine Learning Algorithms.
: Tiny Location Fingerprints Uniquely Identify Individuals.
Security and Privacy
: KISS On My List: Improving Platform Security and User Privacy by Simplifying the Android Permissions Model.
: Preimage Attacks Against Spectral Hash and PTX Functions.
Systems and Networks
: Stream Processing Systems Have Arrived at the Big Data Party. But Where Are All the Benchmarks?
: The role of reconfigurable, policy-based middleware in supporting the Internet of Things.
Theory of Computation and Information Science
: On Regular Expression Matching and Deterministic Finite Automata.
: Cognitive computing leads to the next level of answering questions on the Web.