CAD
Wellesley College, Wellesley, Massachusetts, United StatesJob Summary: Wellesley College invites applications...
Communications of the ACM
September 2019
- DAML: The Contract Language of Distributed Ledgers
- Velocity in Software Engineering
- Surviving Software Dependencies
- Alloy: A Language and Tool for Exploring Software Designs
- Computational Sustainability: Computing for a Better World and a Sustainable Future
The African Enigma: Who Knows More?
09.05.2019Tally sticks and notched bones are among the oldest digital data carriers.
A Minuscule Percentage of Students Take High School Computer Science in the United States: Access Isn't Enough
09.02.2019Likely less than 4% of U.S. high school students take a computer science course.
Intel Server-Grade CPUs Impacted by New NetCAT Attack
09.16.2019Researchers have described a new exploit targeting Intel central processing …
Smile-to-Pay: Chinese Shoppers Turn to Facial Payment Technology
09.16.2019China is embracing facial payment technology, which allows consumers to …
Computing 'Boot Camp' is Showing that 'Anyone Can Be a Coder'
09.16.2019School of Code is a U.K.-based startup that offers 15 …
09.01.2019
Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Featured Jobs
Faculty
Duke Kunshan University, Kunshan, Jiangsu, ChinaDuke Kunshan University (DKU) invites applications...
Assistant Professor
Drake University, Des Moines, Iowa, United StatesThe Drake University Department of Mathematics...
Faculty
Chalmers University of Technology, Gothenburg, Vastra Gotaland, SwedenInformation about Chalmers AI Research CentreChalmers...