CU MOOC Copyright Guidelines University of Colorado (CU) students, faculty and staff engaged with Massive Open Online Courses (MOOCs) will necessarily wish to use, share and comment on information resources within the co

Source URL: www.uccs.edu

• Copyright law
• Law
• Intellectual property law
• Education
• United States copyright law
• Copyright law of the United States
• Copyright
• Public domain
• Massive open online course
• Fair use
• Creative Commons
• Free content

DNS at NLnet Labs Matthijs Mekking Topics • NLnet Labs

Source URL: nlnetlabs.nl

• Internet
• Computing
• Domain name system
• Internet Standards
• Internet protocols
• NLnet
• Request for Comments
• Unbound
• Domain Name System Security Extensions
• NSD
• Internet Engineering Task Force
• Extension mechanisms for DNS

Composition and Reuse with Compiled Domain-Specific Languages Arvind K. Sujeeth1 , Tiark Rompf2,3 , Kevin J. Brown1 , HyoukJoong Lee1 , Hassan Chafi1,3 , Victoria Popic1 , Michael Wu1 , Aleksandar Prokopec2 , Vojin Jovan

Source URL: axel22.github.io

• Software engineering
• Computing
• Software
• Programming language implementation
• Programming paradigms
• Functional languages
• Domain-specific language
• Object-oriented programming languages
• Scripting languages
• Preprocessor
• Metaprogramming
• Red

Quantifying interferences between measurements on RIPE Atlas Thomas Holterbach1,2, Cristel Pelsser2, Randy Bush2, Laurent Vanbever1 1ETH Zurich 2Internet Initiative Japan

Source URL: thomasholterbach.net

• Computing
• System software
• Network architecture
• Domain name system
• Internet Protocol
• RIPE Atlas
• Measuring instruments
• Ping
• Electronic test equipment

2014 IEEE International Conference on Big Data Crowdsourced Query Augmentation through Semantic Discovery of Domain-specific Jargon Khalifeh AlJadda

Source URL: www.treygrainger.com

• Information science
• Information retrieval
• Internet search engines
• Search engine software
• Internet search
• Latent semantic analysis
• Natural language processing
• Semantic search
• Search engine technology
• Web search query
• Bing
• Apache Solr

VRSN_logo_vertical_CMYK_vector

Source URL: www.verisign.com

• Internet
• Domain name system
• Generic top-level domains
• Identifiers
• Internet governance
• Country code top-level domains
• Domain name
• Verisign
• .com
• Sunrise period
• .org
• Top-level domain

Domain-specific languages in software development and the relation to partial evaluation Niels H. Christensen Preface

Source URL: repository.readscheme.org

• Software engineering
• Computing
• Theoretical computer science
• Logic in computer science
• Functional languages
• Programming paradigms
• Domain-specific language
• Denotational semantics
• Programming language
• Erlang
• Functional programming
• DSL

FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing Yiqing Ren∗ Wenchao Zhou∗ Anduo Wang∗ Limin Jia† Alexander J.T. Gurney∗ Boon Thau Loo∗ Jennifer Rexford‡ ∗

Source URL: conferences.sigcomm.org

• Computing
• Network architecture
• Internet
• Computer networking
• Routing
• Border Gateway Protocol
• Convergence
• Router
• IP forwarding

HSWENG.COM WE HAVE THE TOOLS... HSW uses non-proprietary modeling so ware whenever possible. All the model codes are verifiable and defensible. Our belief is that once the model is

Source URL: hsweng.com

• Hydraulic engineering
• Water
• Civil engineering
• Hydrology
• Software
• Environmental engineering
• Physical geography
• Public-domain software
• GMS
• Hydrogeology
• HEC-RAS
• Storm Water Management Model

Abstract Interpretation: Exercises for day 4 [Note: you are welcome to solve these exercises in groups of 2] February 5, Develop the =0, <>0, +1 and -1 operations for the interval domain 2. Implement the interval

Source URL: janmidtgaard.dk