Search results for "Programming"

An adaptive probabilistic graphical model for representing skills in PbD settings

2010

A new inter-cloud service-level guarantee protocol applied to space missions

2017

Nowadays, the term cloud computing often falsely assumes the availability of an unlimited pool of resources. On the contrary, if a cloud provider reaches its limits, it may pose the risk of breaking their service level agreement (SLA). Space agencies could start using the cloud computing model within their IT infrastructure with multiple ground control points around the world to reduce the cost. An inter-cloud communication protocol with a guarantee of the service level will significantly reduce the cost if each ground control segment is considered as a cloud provider. This paper outlines a new protocol that was developed to take into consideration the end-to-end service-level guarantee. Th…

Chapter 3. Prosodic versatility, hierarchical rank and pragmatic function in conversational markers

2019

Generating App Product Lines in a Model-Driven Cross-Platform Development Approach

2016

Within software product lines (SPL) similar software products are created based on common features. We applied this versatile approach to cross-platform app development by extending the domain-specific language (DSL) of an established model-driven development framework. The goal was to support the formulation of coherent building blocks of business use cases, referred to as workflow elements. While the former implementation already abstracted from technical details and provided the possibility to reuse low level features, it now enables to build business apps by combining coherent, self-contained workflow elements. Providing this support on the language level facilitates reusable component-…

RTS2: Lessons learned from a widely distributed telescope network

2008

RTS2 (Remote Telescope System 2) is a highly modular open source telescope and observatory management software package. It evolved from RTS, which was developed in Python to control a telescope aimed at observing optical transients of γ ray burts. The development of a network system capable of operating robotic telescopes is both difficult and complicated. Along with continued software development one must be concerned with maintaining operations and obtaining results. This is a review of experiences gained building a network of robotic telescopes. It focuses on describing which issues are important during development of the robotic observatory software and requirements for future developme…

On the Generalizability of Programs Synthesized by Grammar-Guided Genetic Programming

2021

Grammar-guided Genetic Programming is a common approach for program synthesis where the user’s intent is given by a set of input/output examples. For use in real-world software development, the generated programs must work on previously unseen test cases too. Therefore, we study in this work the generalizability of programs synthesized by grammar-guided GP with lexicase selection. As benchmark, we analyze proportionate and tournament selection too. We find that especially for program synthesis problems with a low output cardinality (e.g., a Boolean output) lexicase selection overfits the training cases and does not generalize well to unseen test cases. An analysis using common software metr…

An Integrated Framework for Meta Modeling

2006

Meta modeling is an essential means to systematize, formalize, standardize, integrate, analyze and compare models, techniques, methods and tools. Numerous fields, such as databases, software engineering, software architectures, semantic web, computer-aided tools and method engineering, have benefited from it. The importance of meta modeling is ever increasing along with the emergence of novel approaches, architectures, techniques and languages based on UML and MDA. This paper presents a framework to integrate and compare divergent conceptions of meta modeling in databases, software engineering, and information systems development. The framework is applied to analyze and compare conceptions …

Methods for optimal shape design of electrical devices

1996

Often the primary problem facing designers of structural systems is determining the shape of the structure. In spite of graphical work stations and modern software for analyzing the structure, finding the best geometry for the structure by “trial and error” is still a very tedious and timeconsuming task. The goal in optimal shape design (structural optimization, or redesign) is to computerize the design process and therefore shorten the time it takes to design new products or improve the existing design. Structural optimization is already used in many applications in industry. In general, however, structural optimization is just beginning to penetrate the industrial community. Integrating F…

Learning Bayesian Metanetworks from Data with Multilevel Uncertainty

2006

Managing knowledge by maintaining it according to dynamic context is among the basic abilities of a knowledge-based system. The two main challenges in managing context in Bayesian networks are the introduction of contextual (in)dependence and Bayesian multinets. We are presenting one possible implementation of a context sensitive Bayesian multinet-the Bayesian Metanetwork, which implies that interoperability between component Bayesian networks (valid in different contexts) can be also modelled by another Bayesian network. The general concepts and two kinds of such Metanetwork models are considered. The main focus of this paper is learning procedure for Bayesian Metanetworks.

FALCON - joint fair airtime allocation and rate control for DASH video streaming in software defined wireless networks

2020

Software Defined Wireless Networks offer an opportunity to enhance the performance of specific services by applying centralized mechanisms which make use of a global view of the network resources. This paper presents FALCON, a novel solution that jointly optimizes fair airtime allocation and rate recommendations for Server and Network Assisted DASH video streaming, providing proportional fairness among the clients. Since this problem is NP-hard, FALCON introduces a novel heuristic algorithm that is proved to achieve almost optimal results in a practical amount of time. The performance of FALCON is evaluated when used in conjunction with three referent Adaptive Bit Rate strategies (PANDA, BO…