|
|
|
|
|
Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc?kai
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alejandro Jesús González Cruz,Nicolás Maruri González de Mendoza,Rafael Pina Lupiáñez
Pág. 113 - 117
The origin of the contemporary project?s form has become an enigma. The process of drawing up a project ends up being a superimposed, diluted reality, hidden by the narratives constructed by their authors. At some point, in which the process becomes more...
ver más
|
|
|
|
|
|
|
|
|
|
|
Purwanto Purwanto,Wahyu Rusdiyanto,Yudit Ayu Respati
Pág. 44 - 55
Abstract: This paper aimed to identify and formulate the labor market demand on works skills for secretary indicated in job advertisements. The study conducted from February to July 2019. The particular research used content analysis with a qualitat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tetiana Momot, Kseniia Savenko, Bohdan Kraivskyi, Tang Linlin
Pág. 100 - 108
The article is devoted to the development of the conceptual foundations for the formation of information and analytical support for consumers of housing and communal services based on the implementation of integrated reporting in accounting practices of ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alejandro Jesús González Cruz,Nicolás Maruri González de Mendoza,Rafael Pina Lupiáñez
Pág. 66 - 79
El origen de la forma en el proyecto contemporáneo se ha convertido en un enigma. La realidad del proceso del proyecto queda superpuesta, diluida y oculta por las narrativas construidas, posteriormente, por sus autores. En un momento, en el que el proces...
ver más
|
|
|
|
|
|
|
|
|
|
|
Swagatika Sahoo, Akshay M. Fajge, Raju Halder and Agostino Cortesi
In the nine years since its launch, amid intense research, scalability is always a serious concern in blockchain, especially in case of large-scale network generating huge number of transaction-records. In this paper, we propose a hierarchical blockchain...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sergey Bushuyev, Boris Kozyr, Alina Zapryvoda
Pág. 14 - 23
The subject of the study is models and methods of construction and implementation of non-linear strategies for managing infrastructure programs. The purpose of the research is to analyse the current state of goal setting and to identify effective strateg...
ver más
|
|
|
|
|
|
|
|
|
|
|
klaus Solberg Söilen
For the upcoming conference on Intelligence Studies at ICI 2020 in Bad Nauheim, Germany the focus of this issue of JISIB is on collective intelligence and foresight. The first two papers by Søilen and Almedia and Lesca deal with collective intelligence f...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ahmad Abbaspour,Amir Hussein Amirkhani,Ali Asghar Pour Ezzat,Mohammad Javad Hozori
ABSTRACT The purpose of this study was to identify and describe the sub-processes of the strategic intelligence process in organizational level analysis. Data were collected by searching the major academic and practitioner books, theses and journals in t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Kamilia Sharir, Norbert Simon, Rodeano Roslee
Pág. 33 - 39
Abstract?Landslide density analysis based on a temporal landslide distribution over three different years was conducted in Kundasang, Sabah, Malaysia. The analysis involved landslides that occurred in 1984, 2009 and 2012. The objective of this study is t...
ver más
|
|
|
|
|
|