| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996464506203316 |
|
|
Titolo |
Formal methods : foundations and applications : 24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings / / Sérgio Campos, Marius Minea (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (149 pages) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 13130 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Formal methods (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Preface -- Organization -- Contents -- A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking -- 1 Introduction -- 2 Theoretical Background -- 2.1 Model Checking -- 2.2 Temporal Logic and Hybrid Logic -- 2.3 Software Versioning -- 3 The Proposed Method -- 3.1 Call Graphs as Kripke Structures -- 3.2 Version Graphs as Kripke Structures -- 3.3 The Proposed Logic: A Two-Level Temporal Logic for Specifications Checking -- 3.4 Examples -- 4 Conclusion and Future Works -- References -- Statistical Model Checking for Traffic Models -- 1 Introduction -- 2 Background -- 2.1 SMC and MultiVeStA -- 2.2 SUMO - Simulation of Urban MObility -- 2.3 Car-Following and Lane Changing Models -- 3 Integration of MultiVeStA and SUMO Simulator -- 3.1 Initial Step -- 3.2 Integration -- 4 Simulation Experiments and Results -- 4.1 Simple Queries -- 4.2 Query 1: Behaviour on Emergency Vehicles -- 4.3 Query 2: Traffic Load Comparison -- 4.4 Query 3: Load Conditions for Traffic Jams -- 4.5 Query 4: Impending Drop in Traffic -- 4.6 Running Times -- 5 Conclusion and Future Work -- References -- Visual Specification of Properties for Robotic Designs -- 1 Introduction -- 2 Background -- 2.1 RoboChart -- 2.2 UML Activity Diagram -- 2.3 CSP Notation, Templates and Tools Used in the Work -- 3 Diagrammatic Language for Properties -- 3.1 Language Syntax -- 3.2 Language Semantics -- 4 Tool Support -- 5 Related Work -- 6 |
|
|
|
|
|
|
|
|
|
|
Conclusion -- References -- Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation -- 1 Introduction -- 2 Multi-agent Systems for Resource Allocation -- 3 Propositional Logic Encoding -- 3.1 Overall Encoding -- 3.2 Basic Encodings -- 3.3 Properties of the Encoding -- 4 Algorithm -- 5 Implementation and Experiments -- 6 Related Work -- 7 Conclusion and Outlook -- References. |
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata -- 1 Introduction -- 2 Background -- 3 An Overview of the Translation Technique -- 4 Evaluation -- 4.1 Experimental Evaluation -- 4.2 Mathematical Proof -- 5 Related Work and Conclusions -- References -- Module Integration Using Graph Grammars (MIGRATE) -- 1 Introduction -- 2 Graph Grammars -- 3 Illustration of the Proposed Approach -- 4 Module Nets -- 5 MIGRATE Approach -- 5.1 Translation -- 5.2 Verification -- 6 Related Work -- 7 Conclusion -- References -- Cost Analysis for an Actor-Based Workflow Modelling Language -- 1 Introduction -- 2 Formal Workflow Modelling Language Rpl -- 2.1 The Syntax of Rpl -- 2.2 The Semantics of Rpl -- 3 Analysis of Rpl Program -- 3.1 Synchronisation Schema -- 3.2 Accumulated Costs -- 3.3 Translation Function -- 4 Properties -- 5 Related Work -- 6 Conclusion -- References -- Minimization of the Number of Clocks for Timed Scenarios -- 1 Introduction -- 2 Preliminaries -- 2.1 Timed Automata -- 2.2 Timed Scenarios -- 3 A New Optimization Algorithm -- 3.1 Cyclic Dependencies -- 3.2 Cyclic Dependencies and Equality Constraints -- 3.3 C(Ds) with Cyclic Dependencies -- 3.4 Resolving Cyclic Dependencies -- 3.5 The Optimization Algorithm -- 4 Conclusions -- References -- Author Index. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484359403321 |
|
|
Titolo |
Transactions on large-scale data- and knowledge-centered systems II / / Abdelkader Hameurlain ... [et al.] (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg, : Springer, c2010 |
|
|
|
|
|
|
|
ISBN |
|
1-280-38962-1 |
9786613567543 |
3-642-16175-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 141 p. 65 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 6380 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Data mining |
Data warehousing |
Expert systems (Computer science) |
Information retrieval |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"First, it contains a selection of the best papers from the 11th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009), which was held from August 31 to September 2, 2009 in Linz, Austria. Second, it contains a special section of papers on a particularly challenging doman in information retrieval."-- Preface. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Nota di contenuto |
|
Data Warehousing and Knowledge Discovery -- Discovery of Frequent Patterns in Transactional Data Streams -- Fast Loads and Queries -- Efficient Online Aggregates in Dense-Region-Based Data Cube Representations -- Information Retrieval -- Improving Access to Large Patent Corpora -- Improving Retrievability and Recall by Automatic Corpus Partitioning. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This special issue of TLDKS contains two kinds of papers. First, it contains a sel- th tion of the best papers from the 11 International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009), which was held from August 31 to S- tember 2, 2009 in Linz, Austria. Second, it contains a special section of papers on a particularly challenging domain in information retrieval, namely patent retrieval. Over the last decade, the International Conference on Data Warehousing and Knowledge Discovery (DaWaK) has established itself |
|
|
|
|
|
|
|
|
|
|
|
|
|
as one of the most important international scientific events within data warehousing and knowledge discovery. DaWaK brings together a wide range of researchers and practitioners working on these topics. The DaWaK conference series thus serves as a leading forum for discu- th ing novel research results and experiences within the field. The 11 International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2009) cont- ued the tradition by disseminating and discussing innovative models, methods, al- rithms, and solutions to the challenges faced by data warehousing and knowledge discovery technologies. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911052129503321 |
|
|
Autore |
Mango, Roberto |
|
|
Titolo |
3 per un design d'ambiente interiorità d'ambiente : cenni di esperienze e orientamenti di ricerca : interiorità d'ambiente / Roberto Mango |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Primo corso di arredamento : corso di disegno industriale ; 3 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Sul front.: Università di Napoli, Facoltà di Architettura |
|
|
|
|
|
| |