Taxonomic Search: tom OR heaton
Results 1 - 10 of 36
Results
file
This research addresses the following fundamental problem in cyber-physical systems: How can we design systems that respond to critical events, such as earthquakes, based on data from large numbers of noisy, community-held sensor devices? The general goal of our research is to develop theory and practical systems that enable ordinary people to use technology collectively to respond to critical events.
event
2013 COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2013)
June 26–28, 2013 , Tulane University, New Orleans LA, USA
Co-located Conferences: MFPS, LICS
CSF associated workshops: FCS, FCC, STAST
The early registration deadline is May 22, 2013
forum
Submitted by Anonymous on Tue, 05/07/2013 - 10:37am
FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
FINAL CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013
IMPORTANT DATES
Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
