English
Related papers

Related papers: IVOA Recommendation: IVOA Document Standards Versi…

200 papers

Approved client-server authentication mechanisms are described for the IVOA single-sign-on profile: digital signatures (for SOAP services); TLS with passwords (for user sign-on points); TLS with client certificates (for everything else).…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Guy Rixon , Matthew Graham , Grid , Web Services Working Group

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.

Logic in Computer Science · Computer Science 2022-05-19 Sebastian Stock , Fabian Vu , David Geleßus , Atif Mashkoor , Michael Leuschel , Alexander Egyed

Approved client-server authentication mechanisms are described for the IVOA single-sign-on profile: No Authentication; HTTP Basic Authentication; TLS with passwords; TLS with client certificates; Cookies; Open Authentication; Security…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Giuliano Taffoni , André Schaaff , Guy Rixon , Brian Major

Documenting frameworks provides its users and maintainers useful information on that software's architecture, design, and customization. Despite documentation's importance, the process of creating and maintaining it is considered to imply…

Software Engineering · Computer Science 2022-03-29 João Santos , Filipe Correia

This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP)…

Software Engineering · Computer Science 2025-06-24 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

This paper is simply a collection of process diagrams for further use and reference. These are diagrams about different approaches to research.

Human-Computer Interaction · Computer Science 2022-09-27 Sheelagh Carpendale

This document describes an XML encoding standard for metadata about services implementing the table access protocol TAP [TAP], referred to as TAPRegExt. Instance documents are part of the service's registry record or can be obtained from…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Markus Demleitner , Patrick Dowler , Ray Plante , Guy Rixon , Mark Taylor

In the 52-page document, we describe our approach to the Software Requirements Specification of the IUfA's UUIS prototype. This includes the overall system description, functional requirements, non-functional requirements, use cases, the…

Software Engineering · Computer Science 2015-03-17 Omer Shahid Ahmad , Faisal Alrashdi , Jason , Chen , Najah Ilham , Jianhai Lu , Yiwei Sun , Tong Wang , Yongxin Zhu

An application that queries or consumes descriptions of VO resources must be able to recognize a resource's support for standard IVOA protocols. This specification describes how to describe a service that supports any of the four…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Raymond Plante , Editor Jesus Delago , Paul Harrison , Doug Tody , the IVOA Registry Working Group

Recommendations of the VAO-Science Council following the meeting of March 26-27, 2010. Refer to the webpage http://www.aui.edu/vao.php

Instrumentation and Methods for Astrophysics · Physics 2010-06-14 G. Fabbiano , D. Calzetti , C. Carilli , G. Djorgovski , P. Eskridge , Z. Ivezic , E. Feigelson , A. Goodman , B. Madore , M. Postman , S. Seager , A. Soderberg , T. Rector

This document discusses the definition of the Parameter Description Language (PDL). In this language parameters are described in a rigorous data model. With no loss of generality, we will represent this data model using XML. It intends to…

Instrumentation and Methods for Astrophysics · Physics 2019-06-05 Carlo Maria Zwolf , Paul Harrison , Julian Garrido , Jose Enrique Ruiz , Franck Le Petit

An IVOA Identifier is a globally unique name for a resource within the Virtual Observatory. This name can be used to retrieve a unique description of the resource from an IVOA-compliant registry or to identify an entity like a dataset or a…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Markus Demleitner , Raymond Plante , Tony Linde , Roy Williams , Keith Noddle

The Software Design Document of UUIS describes the prototype design details of the system architecture, database layer, deployment and configuration details as well as test cases produced while working the design and implementation of the…

Software Engineering · Computer Science 2015-03-17 Omer Shahid Ahmad , Faisal Alrashdi , Jason , Chen , Najah Ilham , Jianhai Lu , Yiwei Sun , Tong Wang , Yongxin Zhu

This document describes the Data Access Layer Interface (DALI). DALI defines the base web service interface common to all Data Access Layer (DAL) services. This standard defines the behaviour of common resources, the meaning and use of…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Patrick Dowler , Markus Demleitner , Mark Taylor , Doug Tody

This document defines the high level metadata necessary to describe the physical parameter space of observed or simulated astronomical data sets, such as 2D-images, data cubes, X-ray event lists, IFU data, etc.. The Characterisation data…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Mireille Louys , Anita Richards , Francois Bonnarel , Alberto Micol , Igor Chilingarian , Jonathan McDowell , the IVOA Data Model Working Group

We give a brief characterisation of the purposes and forms of documentation in and of spreadsheets.

Software Engineering · Computer Science 2010-11-05 Louise Pryor

Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying those specifications. Although equally important,…

Software Engineering · Computer Science 2023-08-14 Sebastian Stock , Atif Mashkoor , Alexander Egyed

Document understanding and information extraction include different tasks to understand a document and extract valuable information automatically. Recently, there has been a rising demand for developing document understanding among…

Information Retrieval · Computer Science 2023-08-01 Soyeon Caren Han , Yihao Ding , Siwen Luo , Josiah Poon , HeeGuen Yoon , Zhe Huang , Paul Duuring , Eun Jung Holden

VODataService refers to an XML encoding standard for a specialized extension of the IVOA Resource Metadata that is useful for describing data collections and the services that access them. It is defined as an extension of the core resource…

Instrumentation and Methods for Astrophysics · Physics 2019-05-22 Raymond Plante , Aurélien Stébé , Kevin Benson , Patrick Dowler , Matthew Graham , Gretchen Greene , Paul Harrison , Gerard Lemson , Tony Linde , Guy Rixon

Recently, Le and Mikolov (2014) proposed doc2vec as an extension to word2vec (Mikolov et al., 2013a) to learn document-level embeddings. Despite promising results in the original paper, others have struggled to reproduce those results. This…

Computation and Language · Computer Science 2016-12-19 Jey Han Lau , Timothy Baldwin