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.
Distributed Computing and Internet Technology [[electronic resource] ] : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings / / edited by Dang Van Hung, Meenakshi D´Souza
| Distributed Computing and Internet Technology [[electronic resource] ] : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings / / edited by Dang Van Hung, Meenakshi D´Souza |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (443 pages) |
| Disciplina | 004.36 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Operating systems (Computers) Artificial intelligence Application software Data protection Computer Communication Networks Operating Systems Artificial Intelligence Information Systems Applications (incl. Internet) Security |
| ISBN | 3-030-36987-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Graph Analytics -- A distributed and trusted web of formal proofs -- Prosperos Books: A Distributed Architecture for AI -- Trust: Anthropomorphic Algorithmic -- A Very Gentle Introduction to Multiparty Session Types -- Constructing Knowledge Graph from Data Catalogues -- Concurrent and Distributed Systems Modelling and Verification -- Round-Message Trade-off in Distributed Steiner Tree Construction in the CON GEST model -- An Efficient Message Transmission and Verification Scheme for VANETs -- Generalised Dining Philosophers as Feedback Control -- Verifying Implicitly Quantified Modal Logic over dynamic networks of processes -- Cloud and Grid Computing -- Secure Content-based Image Retrieval using Combined Features in Cloud -- Design of a Scheduling Approach for Budget-deadline Constrained Applications in Heterogeneous Clouds -- Resource Scheduling for Tasks of a Workflow in Cloud Environment -- Bearing Fault Classification using Wavelet Energy and Autoencoder -- Social Networks, Machine Learning and Mobile Networks -- Community Detection in Social Networks using Deep Learning -- Multi-Winner Heterogeneous Spectrum Auction Mechanism for Channel Allocation in Cognitive Radio Networks -- A Hybrid Approach for Fake News Detection in Twitter based on User Features and Graph Embedding -- Online Context-Adaptive Energy-Aware Security Allocation in Mobile Devices: A Tale of Two Algorithms -- A Framework Towards Generalized Mid-term Energy Forecasting Model for Industrial Sector in Smart Grid -- An Online Low-Cost System for Air Quality Monitoring, Prediction, and Warning.-Word2vecs Distributed Word Representation for Hindi Word Sense Disambiguation -- Text Document Clustering using Community Discovery Approach -- Data Processing and Blockchain Technology -- An Efficient and Novel Buyer and Sellers Distributed Ledger Based Protocol Using Smart Contracts -- Distributed and Lazy Auditing of Outsourced Data HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain -- HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain -- Transcript Management Using Blockchain enabled Smart Contracts -- Short Papers -- Identifying Reduced Features based on IG-Threshold for DoS Attack Detection using PART -- Uniform Circle Formation by Swarm Robots Under Limited Visibility -- Histopathological Image Classification by Optimized Neural Network using IGSA. |
| Record Nr. | UNISA-996418290603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Computing and Internet Technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings / / edited by Dang Van Hung, Meenakshi D´Souza
| Distributed Computing and Internet Technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings / / edited by Dang Van Hung, Meenakshi D´Souza |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (443 pages) |
| Disciplina |
004.36
004.36 (edition:23) |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer networks
Operating systems (Computers) Artificial intelligence Application software Data protection Computer Communication Networks Operating Systems Artificial Intelligence Computer and Information Systems Applications Data and Information Security |
| ISBN | 3-030-36987-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Graph Analytics -- A distributed and trusted web of formal proofs -- Prosperos Books: A Distributed Architecture for AI -- Trust: Anthropomorphic Algorithmic -- A Very Gentle Introduction to Multiparty Session Types -- Constructing Knowledge Graph from Data Catalogues -- Concurrent and Distributed Systems Modelling and Verification -- Round-Message Trade-off in Distributed Steiner Tree Construction in the CON GEST model -- An Efficient Message Transmission and Verification Scheme for VANETs -- Generalised Dining Philosophers as Feedback Control -- Verifying Implicitly Quantified Modal Logic over dynamic networks of processes -- Cloud and Grid Computing -- Secure Content-based Image Retrieval using Combined Features in Cloud -- Design of a Scheduling Approach for Budget-deadline Constrained Applications in Heterogeneous Clouds -- Resource Scheduling for Tasks of a Workflow in Cloud Environment -- Bearing Fault Classification using Wavelet Energy and Autoencoder -- Social Networks, Machine Learning and Mobile Networks -- Community Detection in Social Networks using Deep Learning -- Multi-Winner Heterogeneous Spectrum Auction Mechanism for Channel Allocation in Cognitive Radio Networks -- A Hybrid Approach for Fake News Detection in Twitter based on User Features and Graph Embedding -- Online Context-Adaptive Energy-Aware Security Allocation in Mobile Devices: A Tale of Two Algorithms -- A Framework Towards Generalized Mid-term Energy Forecasting Model for Industrial Sector in Smart Grid -- An Online Low-Cost System for Air Quality Monitoring, Prediction, and Warning.-Word2vecs Distributed Word Representation for Hindi Word Sense Disambiguation -- Text Document Clustering using Community Discovery Approach -- Data Processing and Blockchain Technology -- An Efficient and Novel Buyer and Sellers Distributed Ledger Based Protocol Using Smart Contracts -- Distributed and Lazy Auditing of Outsourced Data HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain -- HealthChain: A Secure Scalable Health Care Data Management System Using Blockchain -- Transcript Management Using Blockchain enabled Smart Contracts -- Short Papers -- Identifying Reduced Features based on IG-Threshold for DoS Attack Detection using PART -- Uniform Circle Formation by Swarm Robots Under Limited Visibility -- Histopathological Image Classification by Optimized Neural Network using IGSA. |
| Record Nr. | UNINA-9910366656703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theoretical Aspects of Computing - ICTAC 2005 [[electronic resource] ] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings / / edited by Dang Van Hung, Martin Wirsing
| Theoretical Aspects of Computing - ICTAC 2005 [[electronic resource] ] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings / / edited by Dang Van Hung, Martin Wirsing |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 618 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Compilers (Computer programs) Machine theory Theory of Computation Computer Communication Networks Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks -- Component-Based Software Engineering -- Formal Languages -- Outfix-Free Regular Languages and Prime Outfix-Free Decomposition -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer Science Logics -- Compositionality of Fixpoint Logic with Chop -- An SLD-Resolution Calculus for Basic Serial Multimodal Logics -- Upside-Down Transformation in SOL/Connection Tableaux and Its Application -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from LOGS Specifications -- Formalizing the Debugging Process in Haskell -- Finding Resource Bounds in the Presence of Explicit Deallocation -- Real-Time Systems -- The Timer Cascade: Functional Modelling and Real Time Calculi -- A Robust Interpretation of Duration Calculus -- Symbolic Model Checking of Finite Precision Timed Automata -- Concurrency and Refinement -- Covarieties of Coalgebras: Comonads and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations -- Externalized and Internalized Notions of Behavioral Refinement -- Software Security -- Information Flow Is Linear Refinement of Constancy -- On Typing Information Flow -- Representation and Reasoning on RBAC: A Description Logic Approach -- Revisiting Failure Detection and Consensus in Omission Failure Environments -- Quantitative Logics -- Congruences and Bisimulations for Continuous-Time Stochastic Logic -- A Logic for Quantum Circuits and Protocols -- Quantitative Temporal Logic Mechanized in HOL -- Weak Stochastic Bisimulation for Non-markovian Processes -- Object-Orientation and Component Systems -- On Refinement of Software Architectures -- POST: A Case Study for an Incremental Development in rCOS -- Implementing Application-Specific Object-Oriented Theories in HOL -- Constructing Open Systems via Consistent Components -- Model-Checking and Algorithms -- A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems -- Using Fairness Constraints in Process-Algebraic Verification -- Maximum Marking Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract Computer Virology -- On Superposition-Based Satisfiability Procedures and Their Combination -- Tutorials at ICTAC 2005 -- A Summary of the Tutorials at ICTAC 2005. |
| Record Nr. | UNISA-996465863403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing – ICTAC 2017 [[electronic resource] ] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / / edited by Dang Van Hung, Deepak Kapur
| Theoretical Aspects of Computing – ICTAC 2017 [[electronic resource] ] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / / edited by Dang Van Hung, Deepak Kapur |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 305 p. 58 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-319-67729-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security. |
| Record Nr. | UNISA-996466237503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / / edited by Dang Van Hung, Deepak Kapur
| Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / / edited by Dang Van Hung, Deepak Kapur |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XX, 305 p. 58 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Artificial intelligence Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-319-67729-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security. |
| Record Nr. | UNINA-9910483656903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||