Dl.acm.org

-------------------------------------------------------------------------------- FINAL CALL FOR PAPERS 1st Type-Driven Development (TyDe '16) A Workshop on Dependently Typed and Generic Programming 18 September, Nara, Japan -----------------------...

I’ve heard a lot recently about copyright policies of scholarly journals. Over 9000 researchers signed a pledge to boycott Elsevier, on three grounds: (1) high prices for journal subscriptions, (2) bundling practices for institutional subscriptions...

In today’s featured database post, we’ll be reviewing two of the key databases for Aviation and Aeronautics students: ACM Digital Library and Aerospace Database. ACM Database The Association for Computing Machinery (ACM) database covers topics such...

This online research guide is intended as an overview of library resources and services of particular relevance for students in Yoo Kyung Chang’s Spring 2015 course MSTU 4000, Core Seminar:  Communications, Computing, & Technology in Education. The...

Authors: Stuart Macdonald , Lee Jarvis, Lella Nouri Abstract This article explores findings from a global survey of the terrorism research community to explore whether states may be deemed capable of conducting cyberterrorism.  First, considerable...