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.
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / / edited by David de Frutos-Escrig, Manuel Nunez
| Formal Techniques for Networked and Distributed Systems - FORTE 2004 [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / / edited by David de Frutos-Escrig, Manuel Nunez |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 382 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networks
Software engineering Computer science Operating systems (Computers) Computer Communication Networks Software Engineering Computer Science Logic and Foundations of Programming Operating Systems |
| Soggetto non controllato |
Geographic Information Systems
Technology & Engineering |
| ISBN |
3-540-30232-8
9783540232520 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Logical Account of NGSCB -- Composing Event Constraints in State-Based Specification -- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research -- Regular Papers -- Parameterized Models for Distributed Java Objects -- Towards the Harmonisation of UML and SDL -- Localizing Program Errors for Cimple Debugging -- Formal Verification of a Practical Lock-Free Queue Algorithm -- Formal Verification of Web Applications Modeled by Communicating Automata -- Towards Design Recovery from Observations -- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach -- Connectivity Testing Through Model-Checking -- Fault Propagation by Equation Solving -- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems -- Formal Composition of Distributed Scenarios -- Conditions for Resolving Observability Problems in Distributed Testing -- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design -- Witness and Counterexample Automata for ACTL -- A Symbolic Symbolic State Space Representation -- Introducing the Iteration in sPBC -- Petri Net Semantics of the Finite ?-Calculus -- Symbolic Diagnosis of Partially Observable Concurrent Systems -- Automatized Verification of Ad Hoc Routing Protocols -- A Temporal Logic Based Framework for Intrusion Detection. |
| Record Nr. | UNINA-9910144344003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / / edited by David de Frutos-Escrig, Manuel Nunez
| Formal Techniques for Networked and Distributed Systems - FORTE 2004 [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / / edited by David de Frutos-Escrig, Manuel Nunez |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 382 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networks
Software engineering Computer science Operating systems (Computers) Computer Communication Networks Software Engineering Computer Science Logic and Foundations of Programming Operating Systems |
| Soggetto non controllato |
Geographic Information Systems
Technology & Engineering |
| ISBN |
3-540-30232-8
9783540232520 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Logical Account of NGSCB -- Composing Event Constraints in State-Based Specification -- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research -- Regular Papers -- Parameterized Models for Distributed Java Objects -- Towards the Harmonisation of UML and SDL -- Localizing Program Errors for Cimple Debugging -- Formal Verification of a Practical Lock-Free Queue Algorithm -- Formal Verification of Web Applications Modeled by Communicating Automata -- Towards Design Recovery from Observations -- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach -- Connectivity Testing Through Model-Checking -- Fault Propagation by Equation Solving -- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems -- Formal Composition of Distributed Scenarios -- Conditions for Resolving Observability Problems in Distributed Testing -- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design -- Witness and Counterexample Automata for ACTL -- A Symbolic Symbolic State Space Representation -- Introducing the Iteration in sPBC -- Petri Net Semantics of the Finite ?-Calculus -- Symbolic Diagnosis of Partially Observable Concurrent Systems -- Automatized Verification of Ad Hoc Routing Protocols -- A Temporal Logic Based Framework for Intrusion Detection. |
| Record Nr. | UNISA-996465484503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Handbook of Big Geospatial Data / Martin Werner, Yao-Yi Chiang editors
| Handbook of Big Geospatial Data / Martin Werner, Yao-Yi Chiang editors |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xi, 641 p. : ill. ; 24 cm |
| Soggetto non controllato |
Algorithms for Big Data
Apache Hadoop Big Data Applications Big Data Infrastructures Big Data Software Stacks Cloud Computing Geographic Information Science Geographic Information Systems Geospatial Big Data Historical Maps Parallel computing Remote sensing Satellite Remote Sensing Social Media Analysis Spatial Databases Spatial Machine Learning Spatio-textual Analysis Trajectory Computing Uncertain Databases |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274808 |
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Space Systems for Disaster Warning, Response, and Recovery / Scott Madry
| Space Systems for Disaster Warning, Response, and Recovery / Scott Madry |
| Autore | Madry, Scott |
| Pubbl/distr/stampa | New York, : Springer, : International Space University, 2015 |
| Descrizione fisica | xiii, 146 p. : ill. ; 24 cm |
| Soggetto topico |
85-XX - Astronomy and Astrophysics [MSC 2020]
86-XX - Geophysics [MSC 2020] |
| Soggetto non controllato |
Disaster Mitigation from Space
Disaster Telecommunications Emergency Management Needs Geographic Information Systems Navigation Systems New Satellite Technologies Remote Sensing of Disasters Satellite Applications Space Systems Disaster Response Space Technologies in Disaster Planning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0134053 |
Madry, Scott
|
||
| New York, : Springer, : International Space University, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||