English
Related papers

Related papers: IVOA Architecture

200 papers

To improve the quality of programs we provide an approach to guidance in the process of program development. At the higher level the various activities and their dependencies to structure the process are identified. At the lower level,…

Software Engineering · Computer Science 2024-11-21 Harrie Passier , Lex Bijlsma , Ruurd Kuiper , Kees Huizing

The utilization of IoT in the educational domain so far has trailed other more commercial application domains. In this chapter, we study a number of aspects that are based on big data produced by a large-scale infrastructure deployed inside…

Computers and Society · Computer Science 2018-05-25 Ioannis Chatzigiannakis , Georgios Mylonas , Irene Mavrommati , Dimitrios Amaxilatis

Internet of Things (IoT) and Network Softwarization are fast becoming core technologies of information systems and network management for next generation Internet. The deployment and applications of IoT ranges from smart cities to urban…

Networking and Internet Architecture · Computer Science 2019-03-01 Iqbal Alam , Kashif Sharif , Fan Li , Zohaib Latif , Md Monjurul Karim , Boubakr Nour , Sujit Biswas , Yu Wang

Functional aspects as well as the influence of integration technology on the system behavior have to be considered in the 3D integration design process of micro systems. Therefore, information from different physical domains has to be…

Other Computer Science · Computer Science 2008-02-22 P. Schneider , S. Reitz , A. Wilde , G. Elst , P. Schwarz

Intelligent Personal Assistants (IPAs) are software agents that can perform tasks on behalf of individuals and assist them on many of their daily activities. IPAs capabilities are expanding rapidly due to the recent advances on areas such…

Software Engineering · Computer Science 2019-06-06 Oscar J. Romero

At present organizations try to achieve competitive advantages using information technology (IT). Organizations not only use Information technology to manage their internal operations but also to collaborate with their customers and…

Software Engineering · Computer Science 2021-12-16 MS. Faathima Fayaza

Benefiting from the technology based strategies, Service-Oriented Architecture (SOA) has been able to achieve the general goals such as agility, flexibility, reusability and efficiency. Nevertheless, technical conditions alone cannot…

Software Engineering · Computer Science 2013-02-12 Zheng Li , He Zhang , Liam O'Brien

The term "Internet of Things" (IoT) refers to an ecosystem of interconnected physical objects and devices that are accessible through the Internet and can communicate with each other. The main strength of the IoT vision is the high impact…

This chapter focuses on the use of Grid technologies to achieve utility computing. An overview of how Grids can support utility computing is first presented through the architecture of Utility Grids. Then, utility-based resource allocation…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Chee Shin Yeo , Marcos Dias de Assuncao , Jia Yu , Anthony Sulistio , Srikumar Venugopal , Martin Placek , Rajkumar Buyya

Existing work on privacy by design mostly focus on technologies rather than methodologies and on components rather than architectures. In this paper, we advocate the idea that privacy by design should also be addressed at the architectural…

Cryptography and Security · Computer Science 2014-10-02 Thibaud Antignac , Daniel Le Métayer

The Valida instruction set architecture is designed for implementation in zkVMs to optimize for fast, efficient execution proving. This specification intends to guide implementors of zkVMs and compiler toolchains for Valida. It provides an…

Cryptography and Security · Computer Science 2025-05-21 Morgan Thomas , Mamy Ratsimbazafy , Marcin Bugaj , Lewis Revill , Carlo Modica , Sebastian Schmidt , Ventali Tan , Daniel Lubarov , Max Gillett , Wei Dai

Board-level hardware description languages (HDLs) are one approach to increasing automation and raising the level of abstraction for designing electronics. These systems borrow programming languages concepts like generators and type…

Programming Languages · Computer Science 2020-11-18 Richard Lin , Björn Hartmann

The scale and complexity of modern cloud infrastructure have made Infrastructure-as-Code (IaC) essential for managing deployments. While large Language models (LLMs) are increasingly being used to generate IaC configurations from natural…

Software Engineering · Computer Science 2026-04-06 Zhenning Yang , Kaden Gruizenga , Tongyuan Miao , Patrick Tser Jern Kon , Hui Guan , Ang Chen

This document provides a description of the technical design for Unified University Inventory System - Web Portal. This document's primary purpose is to describe the technical vision for how business requirements will be realized. This…

Software Engineering · Computer Science 2010-05-04 Kanj Sobh , Deyvisson Oliveira , Bing Liu , Max Mayantz , Yu Ming Zhang , Ali Alhazmi , Robin de Bled , Abdulrahman Al-Sharawi

The purpose of this document is to specify the requirements of the University Unified Inventory System, of the UIfA. The Team of Analysts used a Feedback Waterfall approach to collect the requirements. UML diagrams, such as Use case…

Software Engineering · Computer Science 2015-03-17 Ahmed Daoudi , David Zerkler , Gay Hazan , Isabelle Toutant , Mariano Diaz , Rene Toutant , Virginia Cook , William Nzoukou , Yassine Amaiche

During its execution, a task is independent of all other tasks. For an application which executes in terms of tasks, the application definition can be free of the details of the execution. Many projects have demonstrated that a task system…

Programming Languages · Computer Science 2021-08-23 Burkhard D. Burow

In the first part, we develop layered monoidal theories - a generalisation of monoidal theories combining descriptions of a system at several levels. Via their representation as string diagrams, monoidal theories provide a graphical syntax…

Logic in Computer Science · Computer Science 2025-12-16 Leo Lobski

The simple current construction of orientifolds based on rational conformal field theories is reviewed. When applied to SO(16) level 1, one can describe all ten-dimensional orientifolds in a unified framework.

High Energy Physics - Theory · Physics 2009-11-07 L. R. Huiszoon

A comparative study across the most widely known blockchain technologies is conducted with a bottom-up approach. Blockchains are disentangled into building blocks. Each building block is then hierarchically classified in main and…

Computers and Society · Computer Science 2018-04-17 Paolo Tasca , Claudio J. Tessone

ably successful in building a large market and adapting to the changes of the last three decades, its impact on the broader market of information management is surprisingly limited. If we were to design an information management system from…