Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Building a Commit-level Dataset of Real-world Vulnerabilities

Subjects: Software security engineering; Vulnerability management security vulnerabilities; Security and privacyBaltimore MD USA; United States

  • Source: CODASPY 2022 - 12th ACM Conference on Data and Application Security and Privacy ; https://hal.archives-ouvertes.fr/hal-03477866 ; CODASPY 2022 - 12th ACM Conference on Data and Application Security

Record details

×
Conference

Adaptive HTAP through Elastic Resource Scheduling

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-DC]Computer Science [cs]/Distributed; ParallelPortland OR USA; United States

  • Source: SIGMOD/PODS '20 - International Conference on Management of Data ; https://hal.inria.fr/hal-03104617 ; SIGMOD/PODS '20 - International Conference on Management of Data, Jun 2020, Portland OR

Record details

×
Conference

A new multi-fluid model for space plasma simulations

Subjects: [PHYS.PHYS.PHYS-PLASM-PH]Physics [physics]/Physics [physics]/Plasma Physics [physics.plasm-ph]; [PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]Washington D.C; USA; Unknown RegionWashington D.C, USA, Unknown Region

  • Source: 2018 AGU Fall Meetinghttps://hal.science/hal-028609772018 AGU Fall Meeting, 2018, Washington D.C, USA, Unknown Region. pp.SM11C-2792, 2018

Record details

×
Conference

Observability Normal Forms for a class of switched systems with zeno phenomena

Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control EngineeringSt. Louis; Missouri; USA

  • Source: 2009 American Control Conferencehttps://hal.inria.fr/inria-005301162009 American Control Conference, Jun 2009, St. Louis, Missouri, USA, United States

Record details

×
Conference

Constructing free Boolean categories

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Chicago/USA; United States

  • Source: 20th Annual IEEE Symposium on Logic in Computer Science - LICS 2005https://hal.inria.fr/hal-0001229620th Annual IEEE Symposium on Logic in Computer Science - LICS 2005, May 2005,

Record details

×
Conference

A Decision Procedure for Geometry in Coq

Subjects: area method; Coq; geometryPark City; USA; United States

  • Source: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://hal.inria.fr/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City,

Record details

×
  • 1-10 of  24 results for ""USA""