Filters








4,028 Hits in 3.3 sec

Report on the NSF Workshop on Formal Methods for Security [article]

Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016 arXiv   pre-print
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.  ...  Their active and enthusiastic engagement produced the core results of this report. The  ...  We thank Owen Arden, Tej Chajed, Justin Hsu, and Joseph McMahan for scribing the workshop discussions. We sincerely thank the workshop participants.  ... 
arXiv:1608.00678v2 fatcat:rfbhpa6plbggzj6hn6p72p4cnu

Report on the NSF Workshop on Formal Methods for Security

Figshare Admin Nsf
2018
The NSF workshop on Security and Formal Methods, held 19–20 November 2015, brought together developers of formal methods, researchers exploring how to apply formal methods to various kinds of systems,  ...  Participants were assigned to an area for part of the workshop, with whole group sessions and cross-cutting groups to consider interactions among abstraction layers.  ...  Their active and enthusiastic engagement produced the core results of this report. The  ... 
doi:10.25391/nsf.6815063.v1 fatcat:gjgnoo3r2fbezbw4cnfbsi5qhu

A Novel Real-Time Approach to Unified Power Flow Controller Validation

Keyou Wang, Mariesa L. Crow, Bruce McMillin, Stan Atcitty
2010 IEEE Transactions on Power Systems  
Travel Grant to Attend and Present at the Teaching Formal Methods: Curriculum Development Workshop, Hamilton College, Clinton, N.Y., 1994, NSF, $300.  ...  Travel Grant for Trip to Attend the 1st Workshop on Cyber-Physical Systems (part of ICDCS) Beijing, CHINA, 2008, NSF, $1,000.  ... 
doi:10.1109/tpwrs.2010.2045664 fatcat:wgmfqbbq3fcilk3phshsa6qvvu

Frontiers in transport phenomena research and education: Energy systems, biological systems, security, information technology and nanotechnology

T.L. Bergman, A. Faghri, R. Viskanta
2008 International Journal of Heat and Mass Transfer  
Based upon the final recommendations on the topical matter of the workshop, several trends become apparent. A strong interest in sustainable energy is evident.  ...  The workshop provided a venue for researchers, educators and policy-makers to identify frontier challenges and associated opportunities in heat and mass transfer.  ...  Acknowledgement The authors gratefully acknowledge support of this workshop by NSF Grant 0617456.  ... 
doi:10.1016/j.ijheatmasstransfer.2008.01.024 fatcat:vgh6ut2fa5fo5f6sjikrmcrrrm

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs [chapter]

Luqi, Fabrice Kordon
2008 Lecture Notes in Computer Science  
This paper explains the context for the 2007 Monterey workshop that was dedicated to this problem.  ...  It provides the case study that participants were asked to use to illustrate their new methods, and summarizes the discussion and conclusions of the workshop.  ...  Ivanchenko who contributed to the proposal, workshop case study and material for the web page, the program committee chairs Barbara Paech and Craig Martell and committee members for their efforts on reviewing  ... 
doi:10.1007/978-3-540-89778-1_5 fatcat:pv2gsqyddrgtjmzjabpcbve5li

Amicalola report

Amit Sheth, Robert Meersman
2002 SIGMOD record  
It is based on the NSF-OntoWeb Invitational Workshop on DB/IS Research for Semantic Web and Enterprises that was held during April 3-5, 2002 at the Amicalola Falls State Park in the northern Georgia mountains  ...  Next Steps Outreach and Community Building This workshop has already been followed by another workgroup on Semantic Web at the NSF-IDM PI's workshop in May [S+02] .  ...  " paradigm for "programming" the SW In general, most algorithms in DM are poor when they are applied to access, report etc data on the web.  ... 
doi:10.1145/637411.637430 fatcat:mlgqsb4k65dxnd7zqqg444dzfi

Report of the 2017 NSF SI2 PI Meeting

Ganesh Gopalakrishnan, Yung-Hsiang Lu, Matthew Knepley, Kyle Niemeyer, Matthew Turk, Nancy Wilkins-Diehr
2017 Figshare  
This report describes the 2017 NSF Software Infrastructure for Sustained Innovation (SI2) program PI workshop, held 21–22 February 2017 in Arlington, VA.  ...  Acknowledgements This material is based upon work supported by the National Science Foundation under grant ACI-1702722.  ...  methods.  ... 
doi:10.6084/m9.figshare.4987013.v1 fatcat:u7hvcazo5nb3pmvcvwgvd6k4by

The first workshop on language support for privacy-enhancing technologies (PETShop'13)

Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2013 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13  
The Workshop on Language Support for Privacy-Enhancing Technologies (PETShop'13) aims at bringing together researchers from the areas of security, programming languages, compiler construction, and program  ...  verification to exchange ideas and research results to improve the practicality of state of the art cryptographic privacy-enhancing technologies.  ...  ACKNOWLEDGMENTS This workshop was partially supported by the Austrian National Research Network S11403 and S11405 (RiSE) of the Austrian Science Fund (FWF) and by the Vienna Science and Technology Fund  ... 
doi:10.1145/2508859.2509032 dblp:conf/ccs/FranzHMPV13 fatcat:qsu4uv4xhrhb5ljov6la65ka7e

NSF Workshop on EDA: Past, Present, and Future (Part 2)

Robert Brayton, Jason Cong
2010 IEEE Design & Test of Computers  
We thank the program director, Sankar Basu, for his support of this workshop and for providing valuable feedback to the drafts of this article.  ...  Their summary reports of the group discussions form the basis of many parts of this article.  ...  NSF MOSIS funds for the use of the DARPA-secure foundry, or even foreign foundries, could be investigated.  ... 
doi:10.1109/mdt.2010.70 fatcat:u7xra5p4rffh7jomyhcbe4dtpi

Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy

Peter G. Neumann, Matt Bishop, Sean Peisert, Marv Schaefer
2010 2010 IEEE Symposium on Security and Privacy  
Along the lines of the SSP troglodytes 3 Table II and other early SSP attendees, a few specific dinosaurs are worth noting: named in Steg(an)osaurs (possibly implying constructive or other uses  ...  In addition, a few other dinosaur types seem worth noting more generally: Veloci(w)raptors: Past authors have dealt with security-preserving speed-ups and other optimizations, or with security-enhancing  ...  an impressive advance in applied formal methods!  ... 
doi:10.1109/sp.2010.43 dblp:conf/sp/NeumannBPS10 fatcat:4qlatqjfnfewdem6s7saxqcl6y

Guest Editors' Introduction: Special Section on Intelligence and Security Informatics

Daniel Dajun Zeng, Hsinchun Chen, Fei-Yue Wang, Hillol Kargupta
2008 IEEE Transactions on Knowledge and Data Engineering  
Technical workshops focusing on ISI topics are being held regularly in Pacific Asia and Europe. Please visit http:// www.isiconference.org/ for a list of ISI conferences and workshops.  ...  Formal analyses concerning various properties of these protocols are presented. The third and  ...  Foundation BioSurveillance workshop series, and the workshop on social computing.  ... 
doi:10.1109/tkde.2008.124 fatcat:3av5jsbxxjg4bjnmwct4fxivj4

Building Automation and the Contextualization of Information Technology: The Journey of a Midwestern Community College in the U.S

Neal Grandgenett, Pam Perry, Thomas Pensabene, Karen Wegner, Robert Nirenberg, Phil Pilcher, Candi Otterpohl
2018 Journal of Education and Training Studies  
These efforts toward BAS-contextualization of the IT curriculum have become a catalyst for systematic contextualization of IT instruction at MCC and support the institution's broader efforts to become  ...  The research-based approach, activities, and outcomes of this project are all described here, as well as the lessons learned by one community college seeking to make their IT program increasingly relevant  ...  Acknowledgements The authors would like to acknowledge the three years of funding and support from the National Science Foundation's Advanced Technical Education program, which funded the Automate Project  ... 
doi:10.11114/jets.v6i2.2959 fatcat:zt2qmh47rbcftjz5xblwf3pw6y

Civic Engagement, Graduate Education, and the Broader Impacts Criterion of the National Science Foundation

Marybeth Lima
2017 Michigan Journal of Community Service Learning  
In so doing, the author will draw on her experience in co-facilitating a university-wide workshop series for undergraduate seniors and early career graduate students who apply for the NSF Graduate Research  ...  The National Science Foundation (NSF) funds research proposals on the basis of two review criteria: intellectual merit (IM) and broader impacts (BI).  ...  Although I do not ask for formal feedback from participants, I have used informal feedback from students and workshop co-presenters to improve the workshop series.  ... 
doi:10.3998/mjcsloa.3239521.0024.110 fatcat:ppov3pp5zbgrhcybn5ncfwsr24

The National Oceanographic Partnership Program, Ocean.US, and Real Movement Towards an Integrated and Sustained Ocean Observing System

David Martin
2003 Oceanography  
Acknowledgements The success of paradigm-defining programs such as the National Oceanographic Partnership Program, Ocean.US, and the IOOS are dependent upon the  ...  workshop proceedings report (Ocean.US, 2002b) .  ...  Based on that workshop and review/advice by the U.S.  ... 
doi:10.5670/oceanog.2003.03 fatcat:najmt5f7o5grhfx4kj42cwphgm

Pioneering Interdisciplinary Research Initiatives for Oceans and Human Health

DonaldL. Rice, Allen Dearry, DavidL. Garrison
2004 EcoHealth  
focusing on how the ocean affects human health.  ...  The National Institute of Environmental Health Sciences (NIEHS) and the National Science Foundation (NSF) initiated a joint program to establish and sustain several research Centers for Oceans and Human  ...  ACKNOWLEDGMENTS We thank the many members of the research community who provided advice and donated time to the agencies during the early stages of developing the COHH initiative, especially Daniel Baden  ... 
doi:10.1007/s10393-004-0126-2 fatcat:76z2yelwirbknaakxa26erytiq
« Previous Showing results 1 — 15 out of 4,028 results