|
|
|
|
|
Benjamin Jahic, Nicolas Guelfi and Benoît Ries
Neural network (NN) components are being increasingly incorporated into software systems. Neural network properties are determined by their architecture, as well as the training and testing datasets used. The engineering of datasets and neural networks i...
ver más
|
|
|
|
|
|
|
|
|
|
|
Vijanti Ramautar,Sergio España
Pág. 1 - 29
Assessing business operations? ethical, social, and environmental impacts is a key practice for establishing sustainable development. There is a multitude of methods that describes how to perform such assessments. Often these methods are supported by an ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Darío Rodríguez-García, Vicente García-Díaz and Cristian González García
The final objective of smart cities is to optimize services and improve the quality of life of their citizens, who can play important roles due to the information they can provide. This information can be used in order to enhance many sectors involved in...
ver más
|
|
|
|
|
|
|
|
|
|
|
Willy Kengne Kungne, Georges-Edouard Kouamou and Claude Tangha
The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how...
ver más
|
|
|
|
|
|
|
|
|
|
|
Johannes Kroß and Helmut Krcmar
Evaluating and predicting the performance of big data applications are required to efficiently size capacities and manage operations. Gaining profound insights into the system architecture, dependencies of components, resource demands, and configurations...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nikos Kefalakis, Aikaterini Roukounaki and John Soldatos
One of the main challenges in modern Internet of Things (IoT) systems is the efficient collection, routing and management of data streams from heterogeneous sources, including sources with high ingestion rates. Despite the existence of various IoT data s...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|
|
|
|
|
|
|
Franco Mazzenga and Romeo Giuliano
In this paper we introduce a Gaussian approximation for the achievable downstream bit rate per user in modern broadband and ultra-broadband digital subscriber loop-based access systems. The considered formulation allows one to account for the main charac...
ver más
|
|
|
|
|
|
|
|
|
|
|
Cheryl E. Peyser, Jianjun Yin
Pág. 1 - 12
A notable feature in the first 20-year satellite altimetry records is an anomalously fast sea level rise (SLR) in the western Pacific impacting island nations in this region. This observed trend is due to a combination of internal variability and externa...
ver más
|
|
|
|
|
|
|
|
|
|
|
Laith Al-Jobouri, Filippo Casu, Martin Fleury and Julián Cabrera
-
|
|
|
|
|
|