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.
Transactions on Aspect-Oriented Software Development IX [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter
| Transactions on Aspect-Oriented Software Development IX [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 307 p. 97 illus.) |
| Disciplina | 005.11 |
| Collana | Transactions on Aspect-Oriented Software Development |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer programming Computer simulation Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-642-35551-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-Driven Discovery of Stable Abstractions for Pointcut Interfaces -- Aspect of Assembly: From Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience -- Abstracting Context in Event-Based Software -- The Aspect-Aware Design and Implementation of the CiAO Operating-System Family -- First-Class Compositions: Defining and Composing Object and Aspect Compositions with First-Class Operators -- Challenges in the Design of the Package Template Mechanism. |
| Record Nr. | UNISA-996465939303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development VIII [[electronic resource] /] / edited by Shmuel Katz, Mira Mezini
| Transactions on Aspect-Oriented Software Development VIII [[electronic resource] /] / edited by Shmuel Katz, Mira Mezini |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 221 p.) |
| Disciplina | 005.1 |
| Collana | Transactions on Aspect-Oriented Software Development |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Computer programming Computer simulation Management information systems Computer science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Programming Techniques Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-642-22031-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Model-Driven Framework for Aspect Weaver Construction -- A System of Patterns for Reusable Aspect Libraries -- A Real-World Perspective of AOP -- Tackling the Challenges of Integrating 3rd Party Software Using AspectJ -- Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++ -- Building a Digital Publishing Platform Using AOSD: Experiences and Lessons Learned.-An Aspect-Oriented Tool Framework for Developing Process-Sensitive Embedded User Assistance Systems. |
| Record Nr. | UNISA-996465957803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Collective Intelligence XXV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Cezary Orłowski, Artur Ziółkowski
| Transactions on Computational Collective Intelligence XXV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Cezary Orłowski, Artur Ziółkowski |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 149 p. 66 illus.) |
| Disciplina | 006.3824 |
| Collana | Transactions on Computational Collective Intelligence |
| Soggetto topico |
Artificial intelligence
Computational intelligence Software engineering Computers Management information systems Computer science Artificial Intelligence Computational Intelligence Software Engineering Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-662-53580-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | High-level model for the design of KPIs for Smart Cities systems,- Implementation of business processes in Smart Cities technology -- Designing aggregate KPIs as a method of implementing decision-making processes in the management of Smart Cities -- Designing aggregate KPIs as a method of implementing decision-making processes in the management of Smart Cities -- Smart Cities system design method based on Case Based Reasoning -- Model of an integration bus of data and ontologies of Smart Cities processes Ontology of the design pattern language for Smart Cities systems -- Text Classification Using “Anti”-Bayesian Quantile Statistics-based Classifiers -- Two Novel Techniques to Improve MDL-based Semi-Supervised Classification of Time Series. . |
| Record Nr. | UNINA-9910485007903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Collective Intelligence XXV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Cezary Orłowski, Artur Ziółkowski
| Transactions on Computational Collective Intelligence XXV [[electronic resource] /] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Cezary Orłowski, Artur Ziółkowski |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 149 p. 66 illus.) |
| Disciplina | 006.3824 |
| Collana | Transactions on Computational Collective Intelligence |
| Soggetto topico |
Artificial intelligence
Computational intelligence Software engineering Computers Management information systems Computer science Artificial Intelligence Computational Intelligence Software Engineering Information Systems and Communication Service Management of Computing and Information Systems |
| ISBN | 3-662-53580-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | High-level model for the design of KPIs for Smart Cities systems,- Implementation of business processes in Smart Cities technology -- Designing aggregate KPIs as a method of implementing decision-making processes in the management of Smart Cities -- Designing aggregate KPIs as a method of implementing decision-making processes in the management of Smart Cities -- Smart Cities system design method based on Case Based Reasoning -- Model of an integration bus of data and ontologies of Smart Cities processes Ontology of the design pattern language for Smart Cities systems -- Text Classification Using “Anti”-Bayesian Quantile Statistics-based Classifiers -- Two Novel Techniques to Improve MDL-based Semi-Supervised Classification of Time Series. . |
| Record Nr. | UNISA-996465410103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Science X [[electronic resource] ] : Special Issue on Security in Computing, Part I / / edited by Marina L. Gavrilova, C. J. Kenneth Tan
| Transactions on Computational Science X [[electronic resource] ] : Special Issue on Security in Computing, Part I / / edited by Marina L. Gavrilova, C. J. Kenneth Tan |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVIII, 366 p. 111 illus., 68 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Transactions on Computational Science |
| Soggetto topico |
Computer communication systems
Software engineering Application software Management information systems Computer science Algorithms Data encryption (Computer science) Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Cryptology |
| ISBN |
1-283-47736-X
9786613477361 3-642-17499-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application -- NTRU-Like Public Key Cryptosystems beyond Dedekind Domain up to Alternative Algebra -- Identity-Based Key Exchange Protocols without Pairings -- Building a Side Channel Based Disassembler -- A Versatile Framework for Implementation Attacks on Cryptographic RFIDs and Embedded Devices -- An Adaptive Robust Watermarking Algorithm for Audio Signals Using SVD -- Trust-Based Security Level Evaluation Using Bayesian Belief Networks -- Implementation of QoSS (Quality-of-Security Service) for NoC-Based SoC Protection -- Signcryption with Non-interactive Non-repudiation without Random Oracles -- Block-Level Added Redundancy Explicit Authentication for Parallelized Encryption and Integrity Checking of Processor-Memory Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture to Implement an Algebraic Attack in Hardware -- Green Secure Processors: Towards Power-Efficient Secure Processor Design -- A New Peer-to-Peer Micropayment Protocol Based on Transferable Debt Token. |
| Record Nr. | UNISA-996466007103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Science X [[electronic resource] ] : Special Issue on Security in Computing, Part I / / edited by Marina L. Gavrilova, C. J. Kenneth Tan
| Transactions on Computational Science X [[electronic resource] ] : Special Issue on Security in Computing, Part I / / edited by Marina L. Gavrilova, C. J. Kenneth Tan |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVIII, 366 p. 111 illus., 68 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Transactions on Computational Science |
| Soggetto topico |
Computer communication systems
Software engineering Application software Management information systems Computer science Algorithms Data encryption (Computer science) Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Cryptology |
| ISBN |
1-283-47736-X
9786613477361 3-642-17499-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application -- NTRU-Like Public Key Cryptosystems beyond Dedekind Domain up to Alternative Algebra -- Identity-Based Key Exchange Protocols without Pairings -- Building a Side Channel Based Disassembler -- A Versatile Framework for Implementation Attacks on Cryptographic RFIDs and Embedded Devices -- An Adaptive Robust Watermarking Algorithm for Audio Signals Using SVD -- Trust-Based Security Level Evaluation Using Bayesian Belief Networks -- Implementation of QoSS (Quality-of-Security Service) for NoC-Based SoC Protection -- Signcryption with Non-interactive Non-repudiation without Random Oracles -- Block-Level Added Redundancy Explicit Authentication for Parallelized Encryption and Integrity Checking of Processor-Memory Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture to Implement an Algebraic Attack in Hardware -- Green Secure Processors: Towards Power-Efficient Secure Processor Design -- A New Peer-to-Peer Micropayment Protocol Based on Transferable Debt Token. |
| Record Nr. | UNINA-9910484011203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Science XVII [[electronic resource] /] / edited by Marina Gavrilova, C.J. Kenneth Tan
| Transactions on Computational Science XVII [[electronic resource] /] / edited by Marina Gavrilova, C.J. Kenneth Tan |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 199 p. 86 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Transactions on Computational Science |
| Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Computer communication systems Computer security Management information systems Computer science User Interfaces and Human Computer Interaction Artificial Intelligence Computer Communication Networks Systems and Data Security Management of Computing and Information Systems |
| ISBN | 3-642-35840-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Evaluation of Camera Pose Methods for an Augmented Reality System: Application to Teaching Industrial Robots -- A Combined Position Evaluation Function in Chinese Chess Computer Game -- Modeling and Analyzing the Human Cognitive Limits for Perception in Crowd Simulation -- Progress in Reversible Processor Design: A Novel Methodology for Reversible Carry Look-Ahead Adder -- Secure Congestion Adaptive Routing Using Group Signature Scheme -- Practicability of HFE Scheme for Wireless Sensor Network -- Intersection Attack on Anonymity in VANET -- Cluster Based RSU Centric Channel Access for VANETs -- Efficient Identity-Based and Authenticated Key Agreement Protocol. |
| Record Nr. | UNISA-996465986403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Science XVII [[electronic resource] /] / edited by Marina Gavrilova, C.J. Kenneth Tan
| Transactions on Computational Science XVII [[electronic resource] /] / edited by Marina Gavrilova, C.J. Kenneth Tan |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 199 p. 86 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Transactions on Computational Science |
| Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Computer communication systems Computer security Management information systems Computer science User Interfaces and Human Computer Interaction Artificial Intelligence Computer Communication Networks Systems and Data Security Management of Computing and Information Systems |
| ISBN | 3-642-35840-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Evaluation of Camera Pose Methods for an Augmented Reality System: Application to Teaching Industrial Robots -- A Combined Position Evaluation Function in Chinese Chess Computer Game -- Modeling and Analyzing the Human Cognitive Limits for Perception in Crowd Simulation -- Progress in Reversible Processor Design: A Novel Methodology for Reversible Carry Look-Ahead Adder -- Secure Congestion Adaptive Routing Using Group Signature Scheme -- Practicability of HFE Scheme for Wireless Sensor Network -- Intersection Attack on Anonymity in VANET -- Cluster Based RSU Centric Channel Access for VANETs -- Efficient Identity-Based and Authenticated Key Agreement Protocol. |
| Record Nr. | UNINA-9910484814903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Data Hiding and Multimedia Security III [[electronic resource] /] / edited by Yun Q. Shi
| Transactions on Data Hiding and Multimedia Security III [[electronic resource] /] / edited by Yun Q. Shi |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (IX, 91 p.) |
| Disciplina | 005.8 |
| Collana | Transactions on Data Hiding and Multimedia Security |
| Soggetto topico |
Data encryption (Computer science)
Computer security Management information systems Computer science Computers and civilization Multimedia information systems Algorithms Cryptology Systems and Data Security Management of Computing and Information Systems Computers and Society Multimedia Information Systems Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69019-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constructing Good Covering Codes for Applications in Steganography -- On the Use of Bhattacharyya Distance as a Measure of the Detectability of Steganographic Systems -- Secure Steganography Using Gabor Filter and Neural Networks -- Oracle Channels -- Quantization-Based Methods: Additive Attacks Performance Analysis. |
| Record Nr. | UNISA-996465610603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Data Hiding and Multimedia Security III [[electronic resource] /] / edited by Yun Q. Shi
| Transactions on Data Hiding and Multimedia Security III [[electronic resource] /] / edited by Yun Q. Shi |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (IX, 91 p.) |
| Disciplina | 005.8 |
| Collana | Transactions on Data Hiding and Multimedia Security |
| Soggetto topico |
Data encryption (Computer science)
Computer security Management information systems Computer science Computers and civilization Multimedia information systems Algorithms Cryptology Systems and Data Security Management of Computing and Information Systems Computers and Society Multimedia Information Systems Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69019-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constructing Good Covering Codes for Applications in Steganography -- On the Use of Bhattacharyya Distance as a Measure of the Detectability of Steganographic Systems -- Secure Steganography Using Gabor Filter and Neural Networks -- Oracle Channels -- Quantization-Based Methods: Additive Attacks Performance Analysis. |
| Record Nr. | UNINA-9910768165203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
