Výsledky vyhľadávania - "Foster, Nate"

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.

Autori: Basin, David Foster, Nate McMillan, Kenneth L. a ďalší

Zdroj: Communications of the ACM; Aug2025, Vol. 68 Issue 8, p50-61, 12p

Predmety: FORMAL methods (Computer science), COMPUTER network protocols, INTERNET protocols, TECHNICAL specifications

Korporácia: IEEE Standards Board, INTERNET Engineering Task Force (Organization)

Volume 22 Author Index.

Zdroj: Oncologist; Dec2017, Vol. 22 Issue 12, p1541-1551, 11p

Predmety: AUTHORS

Analyzing abstraction in critical agri-food studies and computer science: toward interdisciplinary analysis of digital agriculture innovation.

Autori: Roeven, Lara Wolf, Steven A. Sengers, Phoebe a ďalší

Zdroj: Agriculture & Human Values; Jun2025, Vol. 42 Issue 2, p1009-1026, 18p

Predmety: ABSTRACTION (Computer science), COMPUTER science, ETHNOLOGY research, INTERDISCIPLINARY education, AGRICULTURAL technology, SUSTAINABLE agriculture, TECHNOLOGICAL innovations

Abstractions for Software- Defined Networks.

Autori: CASADO, MARTIN FOSTER, NATE GUHA, ARJUN

Zdroj: Communications of the ACM; Oct2014, Vol. 57 Issue 10, p86-95, 10p

Predmety: SOFTWARE-defined networking, ALGORITHMS, DATA packeting, COMPUTER network management, TOPOLOGY, COMPUTER programming, MATHEMATICAL decoupling, MATHEMATICAL models

Probabilistic NetKAT.

Autori: Foster, Nate Kozen, Dexter Mamouras, Konstantinos a ďalší

Zdroj: Programming Languages & Systems (9783662494974); 2016, p282-309, 28p

Validation of Progression-Free Survival as a Surrogate Endpoint for Overall Survival in Malignant Mesothelioma: Analysis of Cancer and Leukemia Group B and North Central Cancer Treatment Group (Alliance) Trials.

Autori: Wang, Xiaofei Wang, Xiaoyi Hodgson, Lydia a ďalší

Zdroj: Oncologist; Feb2017, Vol. 22 Issue 2, p189-198, 10p, 4 Charts, 2 Graphs

Predmety: BIOMARKERS, CONFIDENCE intervals, LUNG tumors, RESEARCH methodology, MESOTHELIOMA, STATISTICS, PROPORTIONAL hazards models, DATA analysis software, DESCRIPTIVE statistics, KAPLAN-Meier estimator

SPN OS: Managing network services with virtual network objects.

Autori: Wang, Xi Chen, Cong Palacharla, Paparao a ďalší

Zdroj: 2015 IEEE Conference on Network Function Virtualization & Software Defined Network (NFV-SDN); 2015, p149-155, 7p

MiCA: A Compositional Architecture for Gossip Protocols.

Autori: Princehouse, Lonnie Chenchu, Rakesh Jiang, Zhefu a ďalší

Zdroj: ECOOP 2014 - Object-Oriented Programming; 2014, p644-669, 26p

Languages for software-defined networks.

Autori: Foster, Nate Guha, Arjun Reitblatt, Mark a ďalší

Zdroj: IEEE Communications Magazine; Feb2013, Vol. 51 Issue 2, p128-134, 7p

Predmety: ROUTING (Computer network management), CLIENT/SERVER computing, NETWORK routers, COMPUTER software, PACKET switching

BackMatter.

Zdroj: Programming Languages & Systems (9783662494974); 2016, p805-806, 2p

FrontMatter.

Zdroj: Software Engineering & Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings; 2015, pI-XI, 11p

Tutorial I: Syntax-guided synthesis.

Autori: Alur, Rajeev

Zdroj: 10th ACM/IEEE International Conference on Formal Methods & Models for Codesign; 2013, p189-194, 6p

BackMatter.

Zdroj: ECOOP 2014 - Object-Oriented Programming; 2014, p1-1, 1p

BackMatter.

Zdroj: Distributed Computing (9783662534250); 2016, p459-496, 38p

Rise to the Occasion : Lessons From the Bingham Canyon Manefay Slide

Autori: Brad Ross

Typ zdroja: eBook.

Predmet: Landslides--Utah--Salt Lake City Region, Copper mines and mining--Accidents--Utah--Salt Lake City Region

Kategórie: TECHNOLOGY & ENGINEERING / Mining

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Fiercely You : Be Fabulous and Confident by Thinking Like a Drag Queen

Autori: Jackie Huba Shelly Stewart Kronbergs

Typ zdroja: eBook.

Predmet: Female impersonators--Psychology, Self-realization in women, Self-confidence

Kategórie: SELF-HELP / Personal Growth / Self-Esteem, SELF-HELP / Motivational & Inspirational, BUSINESS & ECONOMICS / Women in Business

Tailings Case Studies : Real-World Lessons in Tailings Management

Autori: Kimberly Finke Morrison

Typ zdroja: eBook.

Predmet: Tailings (Metallurgy)--Case studies, Environmental management, Tailings (Metallurgy), Mineral industries--Waste disposal

Kategórie: TECHNOLOGY & ENGINEERING / Environmental / General

Character Development and Storytelling for Games

Autori: Lee Sheldon

Typ zdroja: eBook.

Predmet: Video game characters, Video games--Authorship, Video games--Design

Kategórie: COMPUTERS / Programming / Games

International Handbook of Research on Multicultural Science Education

Autori: Mary M. Atwater

Typ zdroja: eBook.

Predmet: Multicultural education, Science--Study and teaching--Research

Kategórie: SCIENCE / Study & Teaching, EDUCATION / General, EDUCATION / Educational Policy & Reform / General, EDUCATION / Teacher Training & Certification