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.
Modelling Foundations and Applications [[electronic resource] ] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings / / edited by Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier
| Modelling Foundations and Applications [[electronic resource] ] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings / / edited by Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (364 p. 150 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN |
1-280-38712-2
9786613565044 3-642-13595-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher Algorithms -- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools -- Aspect-Oriented Business Process Modeling with AO4BPMN -- A Reflective Approach to Model-Driven Web Engineering -- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study -- Generative Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable Code -- eSPEM – A SPEM Extension for Enactable Behavior Modeling -- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive Electronic Climate Control Software -- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms -- MoPCoM Methodology: Focus on Models of Computation -- Dynamic Computation of Change Operations in Version Management of Business Process Models -- Detecting Inconsistencies in Multi-View Models with Variability -- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary Software Components -- Precise Specification of Design Pattern Structure and Behaviour -- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy -- On the Combination of Domain Specific Modeling Languages -- Joint Language and Domain Engineering -- An Automated Approach to Transform Use Cases into Activity Diagrams. |
| Record Nr. | UNISA-996465881203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Public Key Cryptography - PKC 2010 [[electronic resource] ] : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings / / edited by Phong Q. Nguyen, David Pointcheval
| Public Key Cryptography - PKC 2010 [[electronic resource] ] : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings / / edited by Phong Q. Nguyen, David Pointcheval |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 519 p. 34 illus.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Data encryption (Computer science) Management information systems Computer science Algorithms Computer security Computer science—Mathematics Computer Communication Networks Cryptology Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Systems and Data Security Discrete Mathematics in Computer Science |
| ISBN |
1-280-38648-7
9786613564405 3-642-13013-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Encryption I -- Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model -- Constant Size Ciphertexts in Threshold Attribute-Based Encryption -- Cryptanalysis -- Algebraic Cryptanalysis of the PKC’2009 Algebraic Surface Cryptosystem -- Maximizing Small Root Bounds by Linearization and Applications to Small Secret Exponent RSA -- Implicit Factoring with Shared Most Significant and Middle Bits -- Protocols I -- On the Feasibility of Consistent Computations -- Multi-query Computationally-Private Information Retrieval with Constant Communication Rate -- Further Observations on Optimistic Fair Exchange Protocols in the Multi-user Setting -- Network Coding -- Secure Network Coding over the Integers -- Preventing Pollution Attacks in Multi-source Network Coding -- Tools -- Groth–Sahai Proofs Revisited -- Constant-Round Concurrent Non-Malleable Statistically Binding Commitments and Decommitments -- Elliptic Curves -- Faster Squaring in the Cyclotomic Subgroup of Sixth Degree Extensions -- Faster Pairing Computations on Curves with High-Degree Twists -- Efficient Arithmetic on Hessian Curves -- Lossy Trapdoor Functions -- CCA Proxy Re-Encryption without Bilinear Maps in the Standard Model -- More Constructions of Lossy and Correlation-Secure Trapdoor Functions -- Chosen-Ciphertext Security from Slightly Lossy Trapdoor Functions -- Protocols II -- Efficient Set Operations in the Presence of Malicious Adversaries -- Text Search Protocols with Simulation Based Security -- Discrete Logarithm -- Solving a 676-Bit Discrete Logarithm Problem in GF(36n ) -- Using Equivalence Classes to Accelerate Solving the Discrete Logarithm Problem in a Short Interval -- Encryption II -- Functional Encryption for Inner Product: Achieving Constant-Size Ciphertexts with Adaptive Security or Support for Negation -- Security of Encryption Schemes in Weakened Random Oracle Models -- Fully Homomorphic Encryption with Relatively Small Key and Ciphertext Sizes -- Signatures -- Unlinkability of Sanitizable Signatures -- Confidential Signatures and Deterministic Signcryption -- Identity-Based Aggregate and Multi-Signature Schemes Based on RSA -- Lattice Mixing and Vanishing Trapdoors: A Framework for Fully Secure Short Signatures and More. |
| Record Nr. | UNISA-996465875803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
