|
|
|
|
|
Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo and Antonella Santone
The Android platform is currently targeted by malicious writers, continuously focused on the development of new types of attacks to extract sensitive and private information from our mobile devices. In this landscape, one recent trend is represented by t...
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
John Andrew van der Poll
The adoption of formal methods (FMs) as a software development methodology remains low. Advocates of FMs point to the advantages to be gained by producing highly dependable systems, while critics refer to the steep learning curve required to master the u...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yulia Timoshenkova,Sergey Porshnev,Nikolai Safiullin
Pág. 15 - 23
The article describes the method developed by the authors for integration of formal methods of time series (TS) forecasting (autoregressive integrated moving average (ARIMA), singular spectrum analysis, group method of data handling, artificial recurrent...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ekaterina Stroeva,Aleksey Tonkikh
Pág. 21 - 29
Among recent publications containing an overview and systematization of algorithms for formal verification of neural networks, a classification of algorithms is proposed which is based on three following properties: reachability, optimization...
ver más
|
|
|
|
|
|
|
|
|
|
|
Antoine Ferlin, Rahma Ben-Ayed, Pengfei Sun, Simon Collart-Dutilleul, Philippe Bon
Pág. 1957 - 1966
This paper presents the latest results of a three years project which aims at contributing to the validation and implementation of a European system for railway signaling called ERTMS ?European Rail Traffic Management System?. The management of railway t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Georg Droschl
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control system. PVS is a tool for writing formal specifications and...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tudor Dumitru Tolciu,Christian Sacarea,Cristian Matei
Pág. 29 - 35
Natural language processing (NLP) is a branch of computer science concerned with the understanding of human language and communication, and translating these into a computer-comprehensible embedding. Our goal in this paper is to capture meaning from huma...
ver más
|
|
|
|
|
|
|
|
|
|
|
John Mankelwicz, Robert Kitahara
Managers use a myriad of formal and informal assessment methodologies, both quantitative and qualitative, to make key business decisions when the available data comprise at best ?weak signals? of an impending problem and/or opportunity. Accepted paradigm...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jaime Ruiz-Serra and Michael S. Harré
Theory of mind (ToM) is the psychological construct by which we model another?s internal mental states. Through ToM, we adjust our own behaviour to best suit a social context, and therefore it is essential to our everyday interactions with others. In ado...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ivan Kosyanenko,Roman Bolbakov
Pág. 53 - 59
In today's team-based software development, good commit messages - comments on changes made in natural language - are essential. The metric for evaluating a commit message is its relevance. A good commit message should not only describe the changes made,...
ver más
|
|
|
|
|
|
|
|
|
|
|
George Zafeiropoulos and Hara Drinia
In this study, the geoeducational value of five geosites, located in the aspiring geopark of the volcanic island of Nisyros, SE Aegean Sea, was assessed by means of two methods: the G-P method of Brilha (2016) and the M-GAM method. The first method takes...
ver más
|
|
|
|
|
|
|
|
|
|
|
Charl Maree and Christian Omlin
The increased complexity of state-of-the-art reinforcement learning (RL) algorithms has resulted in an opacity that inhibits explainability and understanding. This has led to the development of several post hoc explainability methods that aim to extract ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Petros Zervoudakis, Haridimos Kondylakis, Nicolas Spyratos and Dimitris Plexousakis
HIFUN is a high-level query language for expressing analytic queries of big datasets, offering a clear separation between the conceptual layer, where analytic queries are defined independently of the nature and location of data, and the physical layer, w...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gloria Bordogna, Cristiano Fugazza, Paolo Tagliolato Acquaviva d?Aragona and Paola Carrara
Distinct, alternative forms of geosemantics, whose classification is often ill-defined, emerge in the management of geospatial information. This paper proposes a workflow to identify patterns in the different practices and methods dealing with geoinforma...
ver más
|
|
|
|
|
|
|
|
|
|
|
Weihua Liao, Zhiheng Zhang and Weiguo Jiang
A relative lag in research methods, technical means and research paradigms has restricted the rapid development of geography and urban computing. Hence, there is a certain gap between urban data and industry applications. In this paper, a spatial associa...
ver más
|
|
|
|
|
|
|
|
|
|
|
Angela Pappagallo, Annalisa Massini and Enrico Tronci
The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs) (e.g., autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this setting, the main obstacle to overcome is the huge number of scenarios to be e...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mauricio Carvallo Aceves, Musandji Fuamba
Pág. 1 - 19
The selection of stormwater Best Management Practices (BMPs) for mitigating the effects of urbanization on the hydrological cycle could be a complex process due to conflicting stakeholder views, and varying levels of performance of BMPs across a range of...
ver más
|
|
|
|
|
|
|
|
|
|
|
Masfufati Azizah, Joko Widodo, Widiyanto -
Tujuan penelitian ini adalah untuk mendeskripsikan dan menganalisis karakteristik anggota, proses pelaksananaan, serta dampak pelaksanaan pendidikan kewirausahaan di KUBe Anugrah. Berdasarkan tujuan tersebut, peneliti dapat membentuk suatu pola pendidika...
ver más
|
|
|
|
|
|