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.
2025 International Conference on Blockchain and Web3.0 Technology Innovation and Application Exchange : Second Conference, BWTAC 2025, Chengdu, China, November 7–9, 2025, Proceedings / / edited by Xiao Song Zhang, Sheng Cao
| 2025 International Conference on Blockchain and Web3.0 Technology Innovation and Application Exchange : Second Conference, BWTAC 2025, Chengdu, China, November 7–9, 2025, Proceedings / / edited by Xiao Song Zhang, Sheng Cao |
| Autore | Zhang Xiao Song |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (800 pages) |
| Disciplina | 005.3 |
| Altri autori (Persone) | CaoSheng |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Application software
Data protection Blockchains (Databases) Software engineering Computer and Information Systems Applications Data and Information Security Blockchain Software Engineering |
| ISBN |
9789819541423
9789819541416 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Protocols, Security, and Smart Contracts. -- Zero-Shot Detection of Bytecode-Level Ponzi Contract Using LLM. -- Smart Contract Vulnerability Detection Using Combined Sequence and Graph Features from Source Code. -- UAVSpectrumChain: Smart-Contract Based Credible Spectrum Trading for UAV Communications. -- Cryptocurrency Network Anomaly Detection Based on Time-Aware Channel Fusion Dynamic Graph Neural Network. -- HSTA: Ethereum Phishing Fraud Detection Model Based on Dynamic Graph Hybrid Spatio-Temporal Attention Mechanism. -- Semantic Interaction and Relation-Decoupled Heterogeneous Graph Structure Learning: Application to Smart Contracts. -- Learning to Detect Smart Contract Vulnerabilities from Code Property Graph. -- SD-ATD: Semantic-Decoupling Contrastive Learning Model for Blockchain Abnormal Transaction Detection. -- BFCSR: a Blockchain-Based Federated Learning Framework with Client Selection and Round-Based Training Scheme. -- A Learning Behavior Based Framework for Secure Personalised Blockchain Federated Learning. -- MultiSCDetect: a Multi-Objective Detection-Based Framework for Smart Contract Vulnerability Detection. -- DDCTGAN: a Dual Discriminator Conditional Tabular Generative Adversarial Network for Network Intrusion Detection Systems. -- TrustZone-Based WebAssembly Smart Contract Execution for Privacy-Preserving Blockchain. -- LogSentry: an LSTM-Based Framework for Real-Time Vulnerability Detection in Smart Contracts. -- PROMISE: Pedersen Commitment-Based Transaction Hiding Scheme for Blockchain System. -- Data, Governance, and Applications. -- Federated Trustworthy Energy Regulation Scheme Based on on-Chain and off-Chain Collaboration. -- Securing the Metaverse: Designing Multi-Layered Accountability Architectures for Web 3.0. -- Understanding Ethereum Money Laundering via Transaction Network Analysis: a Case Study of the Bybit Incident. -- Beformer: Behavior Enhanced Transformer for Task Demand Forecasting in Computing Power Networks. -- Computing Power Networks Load Prediction Based on Trend Segmentation Technology. -- Edge Computing Scheduling by Using Temporal Knowledge Graph. -- Smart Contract Penetrating Supervision Solution for Regional Equity Markets. -- A Distributed and Trusted Collaborative Framework for Industrial Defect Detection Based on Pseudo-Anomaly Augmentation and Residual Segmentation. -- Research and Application of Blockchain Judicial Evidence Preservation in the Correlation Analysis Between Electrical Equipment Failures and Forest Fires. -- BDSN: Blockchain-Based Data Sharing Network. -- Value Representation of Industrial Internet Data Elements Based on Digital Object Architecture. -- Dataset Ownership in the Era of Large Language Models. -- Incentive Mechanisms for Collaborative Intelligence Sharing in Blockchain-Based Federated LLM Fine-Tuning. -- Blockchain Governance and Adaptive Incentive Mechanisms in Federated Learning. -- Scalability, Cross-Chain, and Ecosystems. -- A Survey of Web 3.0 Development: from Technical Architecture to Application Domains and Global-Local Practices. -- Reinforcing Data Security Regulation via Cross-Chain Smart Contracts. -- A Cross-Chain Identity Anonymity Protection Scheme for Regulatory Scenarios. -- The Design and Implementation of an Ethereum Account Fraud Detection Scheme. -- Demystifying Toxic Content in Ethereum Transactions. -- Towards Intelligent Blockchain Consensus Technique: Status and Development. -- Blockchain-Assisted Conditional Privacy-Preserving Authentication Scheme for VANETs. -- An Anonymous Smart Contract Access Control Scheme Based on Group Signatures. -- An Asynchronous Consensus and Certification Algorithm Based on Parallel Chains. -- DHS-RBAC: a Domain and Hierarchical Data Sharing Scheme for Industrial Internet. -- Heterogeneous-Aware Adaptive Load-Balancing Sharded Blockchain for Financial Data Sharing. -- A Reputation-Enhanced Hashgraph Consensus Mechanism for Internet of Vehicles. -- Blockchain Load Balancing Optimization for Multi-Modal Transactions. -- A Blockchain Based Distributed Code Hosting Platform. -- CIFGViewer: Detecting Cross-Chain Bridge Attacks via Cross-Chain Information Flow Graph. |
| Record Nr. | UNINA-9911047711903321 |
Zhang Xiao Song
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 22nd International Conference on Information Technology-New Generations (ITNG 2025) / / edited by Shahram Latifi
| The 22nd International Conference on Information Technology-New Generations (ITNG 2025) / / edited by Shahram Latifi |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVI, 767 p. 233 illus., 173 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Artificial intelligence
Computer networks Cooperating objects (Computer systems) Data mining Software engineering Artificial Intelligence Computer Communication Networks Cyber-Physical Systems Data Mining and Knowledge Discovery Software Engineering |
| ISBN | 9783031890635 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Adaptive GAN-Based Defense Against Data Poisoning in Federated Learning -- Password Security in Practice: An Appraisal Using Users' Perception and Machine Learning -- Security and Privacy for LLMs and LMMs Across Key Sectors: A Literature Survey -- Malicious URL Detection Using Machine Learning -- Zero-day Malware detection using Fine-Tuned MobileNetV2 and Open-set Classification. |
| Record Nr. | UNINA-9911002549003321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith
| 25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Record Nr. | UNISA-996465393403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille
| 27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 490 p. 314 illus., 249 illus. in color.) |
| Disciplina |
004
518.25 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer science - Mathematics
Software engineering Numerical analysis Computer science—Mathematics Computer-aided engineering Computer simulation Computational Science and Engineering Software Engineering Numeric Computing Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling |
| ISBN | 3-030-13992-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: High-order Adapted Meshes -- P2 Mesh Optimization Operators -- Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces -- Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes -- Curvilinear Mesh Adaptation -- Part 2 : Mesh and Geometry Blocks, Hex mesh generation -- A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems -- Representing Three-dimensional Cross Fields Using 4th Order Tensors -- Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing -- An Angular Method with Position Control for Block Mesh Squareness Improvement -- Dual Surface Based Approach to Block Decomposition of Solid Models -- Automatic Blocking of Shapes using Evolutionary Algorithm -- Multi-block mesh refinement by adding mesh singularities -- Part 3: Simplicial Meshes -- Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation -- Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes -- A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping -- Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement -- Part 4: Curved High-Order Meshes -- Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm -- Curving for Viscous Meshes -- An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes -- Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem -- Part 5: Parallel and Fast Meshing Methods -- Exact Fast Parallel Intersection of Large 3-D Triangular Meshes -- Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated Manifold Surface Remesh Kernels -- Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning -- Discrete Mesh Optimization on GPU -- Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions. |
| Record Nr. | UNINA-9910349352403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
50 Jahre Universitäts-Informatik in München / / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
| 50 Jahre Universitäts-Informatik in München / / herausgegeben von Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computer security
User interfaces (Computer systems) Bioinformatics Software engineering Multimedia systems Artificial intelligence Systems and Data Security User Interfaces and Human Computer Interaction Computational Biology/Bioinformatics Software Engineering Multimedia Information Systems Artificial Intelligence |
| ISBN | 3-662-54712-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | 50 Jahre Informatik an den Universitäten in München -- Cybersicherheit Beyond 2020 -- Allgegenwärtige Mensch-Computer-Interaktion -- Software-Verifikation -- Innovationszentrum Mobiles Internet ZD.B -- Medieninformatik und Mensch-Computer-Interaktion an der LMU München -- Neuro-Robotics -- Herausforderungen an der Schnittstelle von Informatik und Gesellschaft -- Die Evolution des Hauptspeicher-Datenbanksystems HyPer -- Informatik-Forschung für digitale Mobilitätsplattformen. Das Münchner Wissensnetz -- Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. . |
| Record Nr. | UNINA-9910484794303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern recognition Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNISA-996465394603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern perception Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNINA-9910484046403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum / / von Fabian Sobiech
| Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum / / von Fabian Sobiech |
| Autore | Sobiech Fabian |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 169 S. 74 Abb., 10 Abb. in Farbe.) |
| Disciplina | 005.1 |
| Collana | AutoUni – Schriftenreihe |
| Soggetto topico |
Software engineering
Computers Algorithms Software Engineering Models and Principles Algorithm Analysis and Problem Complexity |
| ISBN | 3-658-16328-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Grundlagen: Projektmanagement mit Scrum -- Bestimmung des Nutzwertes von IT-Anforderungen -- Systematische Nutzung und Abbildung von Synergieeffekten -- Bestimmung valider und optimaler Iterationen. |
| Record Nr. | UNINA-9910149462203321 |
|
Sobiech Fabian
|
||
| Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems / / by Frederic Geurts
| Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems / / by Frederic Geurts |
| Autore | Geurts Frederic <1965-> |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XII, 280 p. 78 illus.) |
| Disciplina | 005.73 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computers, Special purpose Software engineering Theory of Computation Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Software Engineering |
| ISBN | 3-540-49211-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work. |
| Record Nr. | UNINA-9910143504103321 |
|
Geurts Frederic <1965->
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner
| Abstract Software Specifications [[electronic resource] ] : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings / / edited by D. Bjorner |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 |
| Descrizione fisica | 1 online resource (XVI, 572 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-540-38136-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk. |
| Record Nr. | UNISA-996465760603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Software Engineering
(8461)
- Software engineering (8445)
- Computer Communication Networks (3069)
- Computer networks (2922)
- Artificial intelligence (2796)