Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
| ISBN | 3-319-39086-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
| Record Nr. | UNISA-996465712003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
| ISBN | 3-319-39086-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
| Record Nr. | UNINA-9910484823903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Challenges and Opportunity with Big Data [[electronic resource] ] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / / edited by Lin Zhang, Lei Ren, Fabrice Kordon
| Challenges and Opportunity with Big Data [[electronic resource] ] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / / edited by Lin Zhang, Lei Ren, Fabrice Kordon |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 209 p. 121 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer system failures Special purpose computers Algorithms Software Engineering Artificial Intelligence Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-61994-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Hybrid M&S Methodology for Knowledge Discovery -- A Model-driven Visualization System Based on DVDL -- A Practical Energy Modeling Method for Industrial -- An Optimization Method for User Interface Components Based on Big Data -- Clustering-based Data Aggregation and Routing for Real-time Wireless HART Communication -- Constrained Semantic Grammar Enabled Question Answering System0.3 -- Information Composition Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing -- Interactive Animation Editing Based on Sketch Interaction -- Manufacturing Service Reconfiguration Optimization using Hybrid Bees Algorithm in Cloud Manufacturing -- Mobile Phone-based tourist Spatial-Temporal Behavior Record and Analysis System -- Multi-Source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-Agent Ontology Management and Ontology Reuse in Web Environment -- Research on the shortest path of two places in urban based on improved ant colony algorithm -- RUL Prediction of Bearings based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description -- Social Recommendation Terms:Probabilistic Explanation and Optimization -- Towards a Holistic Method for Business Process - Traffic Flow Prediction with improved SOPIO-SVR algorithm -- Workshop Multi-source Information IntelliSense Method based on IPv6 Intelligent Terminal. |
| Record Nr. | UNISA-996466192403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Challenges and Opportunity with Big Data [[electronic resource] ] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / / edited by Lin Zhang, Lei Ren, Fabrice Kordon
| Challenges and Opportunity with Big Data [[electronic resource] ] : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers / / edited by Lin Zhang, Lei Ren, Fabrice Kordon |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (VIII, 209 p. 121 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer system failures Special purpose computers Algorithms Software Engineering Artificial Intelligence Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-61994-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Hybrid M&S Methodology for Knowledge Discovery -- A Model-driven Visualization System Based on DVDL -- A Practical Energy Modeling Method for Industrial -- An Optimization Method for User Interface Components Based on Big Data -- Clustering-based Data Aggregation and Routing for Real-time Wireless HART Communication -- Constrained Semantic Grammar Enabled Question Answering System0.3 -- Information Composition Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing -- Interactive Animation Editing Based on Sketch Interaction -- Manufacturing Service Reconfiguration Optimization using Hybrid Bees Algorithm in Cloud Manufacturing -- Mobile Phone-based tourist Spatial-Temporal Behavior Record and Analysis System -- Multi-Source Information Intelligent Collection and Monitoring of CNC Machine Tools Based on Multi-Agent Ontology Management and Ontology Reuse in Web Environment -- Research on the shortest path of two places in urban based on improved ant colony algorithm -- RUL Prediction of Bearings based on Mixture of Gaussians Bayesian Belief Network and Support Vector Data Description -- Social Recommendation Terms:Probabilistic Explanation and Optimization -- Towards a Holistic Method for Business Process - Traffic Flow Prediction with improved SOPIO-SVR algorithm -- Workshop Multi-source Information IntelliSense Method based on IPv6 Intelligent Terminal. |
| Record Nr. | UNINA-9910484548303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
| Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 221 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Information theory |
| ISBN | 3-540-77419-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis. |
| Record Nr. | UNINA-9910482985503321 |
| Berlin, Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor
| Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006 Paris, France, October 16-18, 2006, revised selected papers / / Fabrice Kordon, Oleg Sokolsky, editor |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 221 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Information theory |
| ISBN | 3-540-77419-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis. |
| Record Nr. | UNISA-996466109603316 |
| Berlin, Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.]
| Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.] |
| Pubbl/distr/stampa | London, : ISTE, 2013 |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 006.22 |
| Altri autori (Persone) | KordonFabrice |
| Collana | Electronics engineering series |
| Soggetto topico |
Systems engineering
SysML (Computer science) UML (Computer science) |
| ISBN |
1-118-56971-7
1-118-56953-9 1-118-56977-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. General concepts -- pt. 2. SysML -- pt. 3. MARTE -- pt. 4. AADL. |
| Record Nr. | UNINA-9910141562303321 |
| London, : ISTE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.]
| Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.] |
| Pubbl/distr/stampa | London, : ISTE, 2013 |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 006.22 |
| Altri autori (Persone) | KordonFabrice |
| Collana | Electronics engineering series |
| Soggetto topico |
Systems engineering
SysML (Computer science) UML (Computer science) |
| ISBN |
1-118-56971-7
1-118-56953-9 1-118-56977-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. General concepts -- pt. 2. SysML -- pt. 3. MARTE -- pt. 4. AADL. |
| Record Nr. | UNISA-996210786303316 |
| London, : ISTE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.]
| Embedded systems [[electronic resource] ] : analysis and modeling with SysML, UML and AADL / / edited by Fabrice Kordon ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London, : ISTE, 2013 |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 006.22 |
| Altri autori (Persone) | KordonFabrice |
| Collana | Electronics engineering series |
| Soggetto topico |
Systems engineering
SysML (Computer science) UML (Computer science) |
| ISBN |
1-118-56971-7
1-118-56953-9 1-118-56977-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. General concepts -- pt. 2. SysML -- pt. 3. MARTE -- pt. 4. AADL. |
| Record Nr. | UNINA-9910827371703321 |
| London, : ISTE, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors)
| Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / / Nabil Abdennadher, Fabrice Kordon (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 247 p.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Computer software - Reliability |
| ISBN |
1-280-94397-1
9786610943975 3-540-73230-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler. |
| Record Nr. | UNINA-9910483920803321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
