NEUROGRAPH is a simulation environment for neural networks. It provides an easy to use graphical user interface to design, construct and execute neural networks. The most important design goals were easy extensibility...
详细信息
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL...
详细信息
ISBN:
(纸本)3540388621
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and pi-calculus. The languages developed for service flows, i.e., process specification languages for web services, have adopted many concepts from classical workflow management systems. As a result, these languages are rather procedural and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. DecSerFlow can be used to specify, enact, and monitor service flows. The language is extendible (i.e., constructs can be added without changing the engine or semantical basis) and can be used to enforce or to check the conformance of service flows. Although the language has an appealing graphical representation, it is grounded in temporal logic.
This book constitutes the refereed conference proceedings of the workshops held at the 37th international ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.;The 27 full papers were included in...
详细信息
ISBN:
(数字)9783031232206
ISBN:
(纸本)9783031232190
This book constitutes the refereed conference proceedings of the workshops held at the 37th international ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.;The 27 full papers were included in this book were carefully reviewed and selected from 43 submissions.;ISC High Performance 2022 presents the following workshops:;Compiler-assisted Correctness Checking and Performance Optimization for HPC;HPC on Heterogeneous Hardware (H3);Malleability Techniques Applications in High Performance Computing;Fifth workshop on Interactive High Performance Computing;3rd ISC HPC internationalworkshop on Monitoring & Operational Data Analytics;6th internationalworkshop on In Situ Visualization;17th workshop on Virtualization in High Performance Cloud Computing;Chapter “Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes” is available open access under a Creative Commons Attribution 4.0 international License via ***.
In Czech corpora, compound verb groups are usually tagged in a wordby-word manner. As a consequence, some of the morphological tags of particular components of the verb group loose their original meaning. We present a...
详细信息
Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware's manufacturer do not fit into this scheme. First of all, traditional obj...
详细信息
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders,...
详细信息
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the international Headache Society released in 1988 the international Classification of Headache Disorders (ICHD), now in its 3rd edition: a 200 pages document classifying more than 300 different kinds of headaches, where each is identified via a collection of specific nontrivial diagnostic criteria. On the other hand, the high number of headache disorders and their complex criteria make the medical history process inaccurate and not exhaustive both for clinicians and existing automatic tools. To fill this gap, we present head-asp, a novel decision support system for the diagnosis of headache disorders. Through a REST Web Service, head-asp implements a dynamic questionnaire that complies withICHD-3by exploiting two logical modules to reach a complete diagnosis while trying to minimize the total number of questions being posed to patients. Finally, head-asp is freely available on-line and it is receiving very positive feedback from the group of neurologists that is testing it.
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres...
详细信息
Visual representation for operational requirements for Smart IoT Systems is desirable in process algebra, since it is more intuitive than textual representation. Further visual representation for safety requirements i...
详细信息
暂无评论