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.
Architecting Critical Systems [[electronic resource] ] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese
| Architecting Critical Systems [[electronic resource] ] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (205 p. 82 illus.) |
| Disciplina | 004.2 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Special purpose computers Data encryption (Computer science) Application software Computers and civilization Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Cryptology Information Systems Applications (incl. Internet) Computers and Society Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38708-4
9786613565006 3-642-13556-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. |
| Record Nr. | UNISA-996465668203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Critical Systems : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese
| Architecting Critical Systems : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (205 p. 82 illus.) |
| Disciplina | 004.2 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Special purpose computers Data encryption (Computer science) Application software Computers and civilization Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Cryptology Information Systems Applications (incl. Internet) Computers and Society Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38708-4
9786613565006 3-642-13556-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. |
| Record Nr. | UNINA-9910483142403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Distributed Systems [[electronic resource] ] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / / edited by Holger Giese, Grigore Rosu
| Formal Techniques for Distributed Systems [[electronic resource] ] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / / edited by Holger Giese, Grigore Rosu |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIII, 269 p. 75 illus.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-30793-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465394903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König
| Graph Transformation [[electronic resource] ] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 285 p. 110 illus.) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Software engineering Artificial intelligence—Data processing Computer science Algorithms Machine theory Discrete Mathematics in Computer Science Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-09108-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. |
| Record Nr. | UNISA-996213834403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König
| Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / / edited by Holger Giese, Barbara König |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 285 p. 110 illus.) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Software engineering Artificial intelligence—Data processing Computer science Algorithms Machine theory Discrete Mathematics in Computer Science Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-09108-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. |
| Record Nr. | UNINA-9910481956003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
| Model-Based Engineering of Embedded Real-Time Systems [[electronic resource] ] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 385 p. 94 illus.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress.dagstuhl <2007> |
| ISBN | 3-642-16277-0 |
| Classificazione | 004620 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465825503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
| Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / / edited by Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 385 p. 94 illus.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer programming Computer logic Software Engineering/Programming and Operating Systems Theory of Computation Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress.dagstuhl <2007> |
| ISBN | 3-642-16277-0 |
| Classificazione | 004620 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483793903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems
| Proceedings of the 2006 International Workshop on Software Engineering for Large-Scale Multi-Agent Systems |
| Autore | Choren Ricardo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2006 |
| Descrizione fisica | 1 online resource (114 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SELMAS '06 |
| Record Nr. | UNINA-9910376484403321 |
Choren Ricardo
|
||
| [Place of publication not identified], : ACM, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Self-Adaptive Systems [[electronic resource] ] : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
| Software Engineering for Self-Adaptive Systems [[electronic resource] ] : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 393 p. 110 illus.) |
| Disciplina | 006.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer simulation Artificial intelligence Software Engineering Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Simulation and Modeling Artificial Intelligence |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35813-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and policies -- Design Issues -- Applications. |
| Record Nr. | UNISA-996466023503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw
| Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 393 p. 110 illus.) |
| Disciplina | 006.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer simulation Artificial intelligence Software Engineering Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Simulation and Modeling Artificial Intelligence |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35813-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and policies -- Design Issues -- Applications. |
| Record Nr. | UNINA-9910484053803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
