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 | ||
| ||
Research Challenges in Information Science: Information Science and the Connected World [[electronic resource] ] : 17th International Conference, RCIS 2023, Corfu, Greece, May 23–26, 2023, Proceedings / / edited by Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou
| Research Challenges in Information Science: Information Science and the Connected World [[electronic resource] ] : 17th International Conference, RCIS 2023, Corfu, Greece, May 23–26, 2023, Proceedings / / edited by Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou |
| Autore | Nurcan Selmin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (692 pages) |
| Disciplina | 004 |
| Altri autori (Persone) |
OpdahlAndreas L
MouratidisHaralambos TsohouAggeliki |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Database management Software engineering Machine learning Information storage and retrieval systems Computer Application in Administrative Data Processing Business Process Management Database Management Software Engineering Machine Learning Information Storage and Retrieval |
| Soggetto non controllato |
Technology
Technology & Engineering |
| ISBN | 3-031-33080-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements -- Goal Modelling: Design and Manufacturing in Cloud Migration High-Level Requirements -- Idea Browsing on Digital Participation Platforms: A Mixed-methods Requirements Study -- Conceptual modeling and ontologies -- What Do Users Think about Abstractions of Ontology-Driven Conceptual Models -- On the Semantics of Risk Propagation -- The omnipresent role of technology in social-ecological systems: ontological discussion and updated integrated framework -- Machine Learning and Analytics -- Detection of fishing activities from vessel trajectories -- Framework for Blockchain Data Analysis -- Reinforcement learning for scriptless testing: An empirical investigation of reward functions -- Conceptual modeling and semantic networks -- DBSpark: A system for natural language to SPARQL translation -- An Automated Patterns-based Model-to-Model Mapping and Transformation System for Labeled Property Graphs -- Improving Conceptual Domain Characterization in Ontology Networks -- Business Process Design and Computing in the Continuum -- Digital Technology-Driven Business Process Redesign: A Classification Framework -- Supporting the Implementation of Digital Twins for IoT-Enhanced BPs -- Context-Aware Digital Twins to Support Software Management at the Edge -- Adoption of Virtual Agents in Healthcare E-commerce: a Perceived Value Perspective -- Requirements and Evaluation -- Addressing Trust Issues in Supply-Chain Management Systems through Blockchain Software Patterns -- Evaluating Process Effciency with Data Envelopment Analysis: a Case in the Automotive Industry -- A Model of Qualitative Factors in Forensic-Ready Software Systems -- Monitoring and recommending -- Monitoring object-centric Business Processes: An Empirical Study -- A Peekinto the Working Day: Comparing Techniques for Recording Employee Behaviour -- Context-aware recommender systems: aggregation-based dimensionality reduction -- Business processes analysis and improvement Discovery of Improvement Opportunities in Knock-out Checks of Business Processes -- Persuasive Visual Presentation of Prescriptive Business Processes -- TraVaG: Differentially Private Trace Variant Generation Using GANs -- User interface and experience -- When Dashboard’s Content Becomes a Barrier - Exploring the Effects of Cognitive Overloads on BI Adoption -- The effect of visual information complexity on urban mobility intention and behavior -- Interoperability of Open Science Metadata: what about the reality -- Forum papers. -Online-Notes System: Real-time speech recognition and translation of lectures -- Temporal relation extraction from clinical texts using knowledge graphs -- Domain TILEs: Test Informed Learning with Examples from the Testing Domain -- Using GUI change detection for delta testing -- Enterprise Modeling for Machine Learning: Case-based Analysis and Initial Framework Proposal -- Towards Creating a Secure Framework for Building Mirror World Applications -- Towards a Secure and Privacy compliant Framework for Educational Data Mining -- Internet of Cloud (IoC): The need of raising privacy and security awareness -- Comparative study of unsupervised keyword extraction methods for job recommendation in an industrial environment -- A Meta-model for Digital Business Ecosystem Design -- Students in Team-Based Software Development Projects: An Exploratory Study -- Ontology of Product Provenance for Value Networks -- A Data Value Matrix: Linking FAIR Data with Business Models -- An Information Privacy Competency Model for Online Consumers -- DECENT: A Domain Specific Language to Design Governance Decisions -- Doctoral Consortium papers -- Business User-oriented Recommender System of Data -- Secure infrastructure for cyber-physical ranges -- Guidelines for Developers and Recommendations for Users to Mitigate Phishing Attacks: An Interdisciplinary Research Approach -- Leveraging Exogeneous Data for the Predictive Monitoring of IT Service Management Processes -- Predicting privacy decisions in mobile applications and raising users’ privacy awareness -- Information overload: Coping mechanisms and tools impact. |
| Record Nr. | UNISA-996546842503316 |
Nurcan Selmin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Research Challenges in Information Science: Information Science and the Connected World [[electronic resource] ] : 17th International Conference, RCIS 2023, Corfu, Greece, May 23–26, 2023, Proceedings / / edited by Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou
| Research Challenges in Information Science: Information Science and the Connected World [[electronic resource] ] : 17th International Conference, RCIS 2023, Corfu, Greece, May 23–26, 2023, Proceedings / / edited by Selmin Nurcan, Andreas L. Opdahl, Haralambos Mouratidis, Aggeliki Tsohou |
| Autore | Nurcan Selmin |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (692 pages) |
| Disciplina | 004 |
| Altri autori (Persone) |
OpdahlAndreas L
MouratidisHaralambos TsohouAggeliki |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Information technology - Management
Database management Software engineering Machine learning Information storage and retrieval systems Computer Application in Administrative Data Processing Business Process Management Database Management Software Engineering Machine Learning Information Storage and Retrieval |
| Soggetto non controllato |
Technology
Technology & Engineering |
| ISBN | 3-031-33080-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements -- Goal Modelling: Design and Manufacturing in Cloud Migration High-Level Requirements -- Idea Browsing on Digital Participation Platforms: A Mixed-methods Requirements Study -- Conceptual modeling and ontologies -- What Do Users Think about Abstractions of Ontology-Driven Conceptual Models -- On the Semantics of Risk Propagation -- The omnipresent role of technology in social-ecological systems: ontological discussion and updated integrated framework -- Machine Learning and Analytics -- Detection of fishing activities from vessel trajectories -- Framework for Blockchain Data Analysis -- Reinforcement learning for scriptless testing: An empirical investigation of reward functions -- Conceptual modeling and semantic networks -- DBSpark: A system for natural language to SPARQL translation -- An Automated Patterns-based Model-to-Model Mapping and Transformation System for Labeled Property Graphs -- Improving Conceptual Domain Characterization in Ontology Networks -- Business Process Design and Computing in the Continuum -- Digital Technology-Driven Business Process Redesign: A Classification Framework -- Supporting the Implementation of Digital Twins for IoT-Enhanced BPs -- Context-Aware Digital Twins to Support Software Management at the Edge -- Adoption of Virtual Agents in Healthcare E-commerce: a Perceived Value Perspective -- Requirements and Evaluation -- Addressing Trust Issues in Supply-Chain Management Systems through Blockchain Software Patterns -- Evaluating Process Effciency with Data Envelopment Analysis: a Case in the Automotive Industry -- A Model of Qualitative Factors in Forensic-Ready Software Systems -- Monitoring and recommending -- Monitoring object-centric Business Processes: An Empirical Study -- A Peekinto the Working Day: Comparing Techniques for Recording Employee Behaviour -- Context-aware recommender systems: aggregation-based dimensionality reduction -- Business processes analysis and improvement Discovery of Improvement Opportunities in Knock-out Checks of Business Processes -- Persuasive Visual Presentation of Prescriptive Business Processes -- TraVaG: Differentially Private Trace Variant Generation Using GANs -- User interface and experience -- When Dashboard’s Content Becomes a Barrier - Exploring the Effects of Cognitive Overloads on BI Adoption -- The effect of visual information complexity on urban mobility intention and behavior -- Interoperability of Open Science Metadata: what about the reality -- Forum papers. -Online-Notes System: Real-time speech recognition and translation of lectures -- Temporal relation extraction from clinical texts using knowledge graphs -- Domain TILEs: Test Informed Learning with Examples from the Testing Domain -- Using GUI change detection for delta testing -- Enterprise Modeling for Machine Learning: Case-based Analysis and Initial Framework Proposal -- Towards Creating a Secure Framework for Building Mirror World Applications -- Towards a Secure and Privacy compliant Framework for Educational Data Mining -- Internet of Cloud (IoC): The need of raising privacy and security awareness -- Comparative study of unsupervised keyword extraction methods for job recommendation in an industrial environment -- A Meta-model for Digital Business Ecosystem Design -- Students in Team-Based Software Development Projects: An Exploratory Study -- Ontology of Product Provenance for Value Networks -- A Data Value Matrix: Linking FAIR Data with Business Models -- An Information Privacy Competency Model for Online Consumers -- DECENT: A Domain Specific Language to Design Governance Decisions -- Doctoral Consortium papers -- Business User-oriented Recommender System of Data -- Secure infrastructure for cyber-physical ranges -- Guidelines for Developers and Recommendations for Users to Mitigate Phishing Attacks: An Interdisciplinary Research Approach -- Leveraging Exogeneous Data for the Predictive Monitoring of IT Service Management Processes -- Predicting privacy decisions in mobile applications and raising users’ privacy awareness -- Information overload: Coping mechanisms and tools impact. |
| Record Nr. | UNINA-9910726282803321 |
|
Nurcan Selmin
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
