A translator framework enables the use of model checking in complex avionics systems and other industrial settings.Steven P. Miller, Michael W. Whalen, Darren D. Cofer From Communications of the ACM | February 2010
An RFID-passport attack is more plausible than skimming RFID information. Do RFID passports make us vulnerable to identity theft?
Alan Ramos, Weina Scott, William Scott, Doug Lloyd, Katherine O'Leary, Jim Waldo From Communications of the ACM | December 2009
Long considered an afterthought, software maintenance is easiest and most effective when built into a system from the ground up.Paul Stachour, David Collier-Brown From Communications of the ACM | November 2009
The biosciences need an image format capable of high performance and long-term maintenance. Is HDF5 the answer?
Matthew T. Dougherty, Michael J. Folk, Erez Zadok, Herbert J. Bernstein, Frances C. Bernstein, Kevin W. Eliceiri, Werner Benger, Christoph Best From Communications of the ACM | October 2009