184,286 research outputs found
Deduction with XOR Constraints In Security API Modelling
No full textWe introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols
A generic storage API
No full textSubmitted to ACSC 2004 This work was supported by EPSRC grant GR/R45154 "Bulk Storage of XML Documents"We present a generic API suitable for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures. The paper identifies a candidate set of minimal storage system building blocks, which are sufficiently simple to avoid encapsulating policy where it cannot be customised by applications, and composable to build highly flexible storage architectures. Four main generic components are defined: the store, the namer, the caster and the interpreter. It is hypothesised that these are sufficiently general that they could act as building blocks for any information storage and retrieval system. The essential characteristics of each are defined by an interface, which may be implemented by multiple implementing classes
OntoCAT - an integrated programming toolkit for common ontology application tasks
No full textOntoCAT provides high level abstraction for interacting with ontology resources including local ontology files in standard OWL and OBO formats (via OWL API) and public ontology repositories: EBI Ontology Lookup Service (OLS) and NCBO BioPortal. Each resource is wrapped behind easy to learn Java, Bioconductor/R and REST web service commands enabling reuse and integration of ontology software efforts despite variation in technologies
C++ & Python API for Scientific I/O with openPMD
No full textopenPMD is an open metadata format for open data workflows in open science. This library provides a common high-level API for openPMD writing and reading. It provides a common interface to I/O libraries and file formats such as HDF5 and ADIOS. Where supported, openPMD-api implements both serial and MPI parallel I/O capabilities
API multiplataforma para aplicações multimídia embarcadas
No full textDissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010Diferentes plataformas são utilizadas para o desenvolvimento de aplicações multimídia embarcadas. É comum que compiladores estejam disponíveis para estas plataformas porém, o código gerado a partir de linguagens de alto nível não é capaz de explorar todo o potencial do hardware da plataforma alvo. Para otimizar partes críticas da aplicação, geralmente são implementadas rotinas em linguagem de máquina (Assembly). Entretanto, o uso de linguagem Assembly na aplicação dificulta sua portabilidade para outras plataformas pois seu código necessita ser reescrito. A migração de uma aplicação para uma nova plataforma, com arquitetura e características de hardware diferentes, requer a reescrita do código da aplicação para a Interface para Programação de Aplicação (API) da arquitetura fornecida pelo fabricante. Este processo requer tempo, atrasando a criação de novos produtos, aumentando assim os custos de desenvolvimento e possivelmente resulta em aplicações ineficientes, que não exploram toda a potencialidade do hardware utilizado. Este trabalho apresenta a Embedded Multimedia Cross-Platform API (EMCA) que tem como objetivo fornecer ao desenvolvedor de aplicações multimídia uma interface independente de hardware para algoritmos de processamento de sinais digitais, facilitando a migração da aplicação para diferentes plataformas. Através do uso de mediadores de hardware a EMCA permite a implementação de algoritmos DSP independentes de plataforma. São expostos os mediadores de hardware de MAC e Barrel Shifter e a interface de Transformada Rápida de Fourier (FFT) da EMCA. Foi avaliada a utilização da EMCA em um decodificador de áudio Codificação de Áudio Avançada (AAC), mostrando que a sua especialização para arquiteturas embarcadas permite a otimização da aplicação sem comprometer sua portabilidade para outras plataformas
Variations on the Author
No full text“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
El mundo conectado por las API
No full textTodas las promesas que la era digital trae consigo, como hogares inteligentes, coches conectados y ciudades inteligentes, requieren del trabajo en conjunto de múltiples programas o software para ser posibles. Esta conectividad solo se puede lograr solo a través de las API abiertas, la
tecnología que permite que los software de diferente naturaleza puedan trabajar conjuntamente para simplificar la vida de los usuarios. Las API son fundamentales para el funcionamiento de internet y las empresas fintech, pues permiten realizar operaciones que requieren que diferentes programas trabajen en conjunto. Aquí le contamos cómo funciona esta tecnología y su impacto en el mundo financiero
C++ & Python API for Scientific I/O with openPMD
No full textopenPMD is an open metadata format for open data workflows in open science. This library provides a common high-level API for openPMD writing and reading. It provides a common interface to I/O libraries and file formats such as HDF5 and ADIOS. Where supported, openPMD-api implements both serial and MPI parallel I/O capabilities
DevPortal customization for municipalities of the Italian PA
No full textreservedImplementazione api store per cliente dell’ azienda dove è stato eseguito tirocinio secondo le esigenze del cliente esposte di seguito. L’API store deve essere raggiungibile su rete pubblica per l’esposizione delle API Pubbliche e delle API Protette, mentre la pubblicazione delle API private deve essere raggiungibile esclusivamente da rete privata comunale. La pagina home dell’API store deve mostrare la lista di tutti gruppi delle API . Selezionando un gruppo si deve accedere alle sue API, mostrando per ciascuna solo un’icona ed un breve testo descrittivo. Si richiede che il filtro che genera la lista dei gruppi, e quindi delle API, sia configurabile autonomamente dal comune . La home dell’API store deve presentare una sezione contenente una breve presentazione dell’ecosistema , con link ad eventuali altre pagine di approfondimento .Implementare link dai gruppi o dalle singole API che rimandino a documentazione specifica, per consentire agli utenti una maggiore comprensione delle caratteristiche delle API, allo scopo di fornire un aiuto nell’individuazione delle API di cui chiedere la sottoscrizione. All’API store si può accedere con 3 profili utente rilasciati attraverso il processo di profilazione utente.E ’ da valutare la possibilità che la gestione del processo di autenticazione (SPID, CIE, Active Directory Comune) sia delegata alla Piattaforma di Autenticazione Centralizzata SIRAC . L'UX design deve seguire le normative nazionali vigenti per siti della pubblica amministrazione(disabili, non udenti, non vedenti).Implementation of api store for company's client where the internship was performed according to the client's needs set out below. The API store must be accessible on the public network for the exposure of the Public APIs and the Protected APIs, while the publication of the private APIs must be accessible only from the municipal private network. The API store home page must show the list of all API groups. By selecting a group, you must access its API, showing only an icon and a short descriptive text for each. It is required that the filter that generates the list of groups, and therefore of the API, can be configured independently by the municipality. The API store home must have a section containing a brief presentation of the ecosystem, with links to any other in-depth pages.Implement links from groups or individual APIs that refer to specific documentation, to allow users a greater understanding of the characteristics of the APIs, in order to assist in identifying the APIs to request subscription. The API store can be accessed with 3 user profiles issued through the user profiling process. The possibility that the management of the authentication process (SPID, CIE, Common Active Directory) is delegated to the SIRAC Centralized Authentication Platform should be evaluated. The UX design must follow the national regulations in force for public administration sites (disabled, deaf, blind)
C++ & Python API for Scientific I/O with openPMD
No full textopenPMD is an open metadata format for open data workflows in open science. This library provides a common high-level API for openPMD writing and reading. It provides a common interface to I/O libraries and file formats such as HDF5 and ADIOS. Where supported, openPMD-api implements both serial and MPI parallel I/O capabilities.Supported by the Exascale Computing Project (17-SC-20-SC), a collaborative effort of two U.S. Department of Energy organizations (Office of Science and the National Nuclear Security Administration). Supported by the Consortium for Advanced Modeling of Particles Accelerators (CAMPA), funded by the U.S. DOE Office of Science under Contract No. DE-AC02-05CH11231
- …
