A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M

Source URL: proceedings.mlr.press

• Software engineering
• Computing
• Modeling and simulation
• Software architecture
• Software design
• Domain-specific language
• Domain-driven design
• Conceptual model
• Architectural pattern
• Scientific modelling
• Domain-specific modeling
• Feature engineering

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

Comparison Test Metrics for Brave on Mobile DOMAIN SELECTION AND TESTING Test domains were selected to represent a grouping of popular publisher and news sites. Nexus 9

Source URL: brave.com

• Software
• Computing
• Computer architecture
• Smartphones
• Cloud clients
• IOS
• Freeware
• Portable software
• Google Chrome
• IPhone
• Android
• Brave

Debugging with Domain-Specific Events via Macros Xiangqi Li Matthew Flatt University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Transformation languages
• Programming languages
• High-level programming languages
• Functional programming
• Hygienic macro
• Macro
• Lisp
• Anonymous function

DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

Inducing Domain-Specific Sentiment Lexicons from Unlabeled Corpora Abstract A word’s sentiment depends on the domain in which it is used. Computational social science research thus requires sentiment lexicons that

Source URL: arxiv.org

• Computational linguistics
• Linguistics
• Natural language processing
• Applied linguistics
• Semantics
• Computational science
• Artificial neural networks
• Speech recognition
• Sentiment analysis
• SemEval
• Word embedding
• Word-sense disambiguation

個人情報利用目的 Z.com Domain では、取得した個人情報を以下の利用目的の範囲内で取り扱います。 1)

Source URL: www.gmo.jp

Short Paper: On Deployment of DNS-based Security Enhancements Pawel Szalachowski and Adrian Perrig ETH Zurich, Switzerland Abstract. Although the Domain Name System (DNS) was designed as a naming

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Cryptography
• Computing
• Domain Name System Security Extensions
• Sender Policy Framework
• DNS-based Authentication of Named Entities
• DMARC
• Name server
• Extension mechanisms for DNS
• DNS root zone
• Email authentication