Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis
| Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] |
| Descrizione fisica | 1 online resource (XII, 496 p.) |
| Disciplina | 001.64 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers - Access control
Chemistry, Physical and theoretical |
| ISBN | 3-540-39568-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Public Key Cryptosystems and Signatures -- A Prototype Encryption System Using Public Key -- A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms -- A Public-Key Cryptosystem Based on the Word Problem -- Efficient Signature Schemes Based on Polynomial Equations (preliminary version) -- Identity-Based Cryptosystems and Signature Schemes -- A Knapsack Type Public Key Cryptosystem Based On Arithmetic in Finite Fields (preliminary draft) -- Some Public-Key Crypto-Functions as Intractable as Factorization -- Cryptosystems and Other Hard Problems -- Computing Logarithms in GF (2n) -- Wyner’s Analog Encryption Scheme: Results of a Simulation -- On Rotation Group and Encryption of Analog Signals -- The History of Book Ciphers -- An Update on Factorization at Sandia National Laboratories -- An LSI Digital Encryption Processor (DEP) -- Efficient hardware and software implementations for the DES -- Efficient hardware implementation of the DES -- A Self-Synchronizing Cascaded Cipher System with Dynamic Control of Error Propagation -- Randomness and Its Concomitants -- Efficient and Secure Pseudo-Random Number Generation (Extended Abstract) -- An LSI Random Number Generator (RNG) -- Generalized Linear Threshold Scheme -- Security of Ramp Schemes -- A Fast Pseudo Random Permutation Generator With Applications to Cryptology -- On the Cryptographic Applications of Random Functions (Extended Abstract) -- An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information -- Analysis and Cryptanalysis -- RSA/Rabin least significant bits are secure (Extended Abstract) -- Information Theory without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects -- Cryptanalysis of Adfgvx Encipherment Systems -- Breaking Iterated Knapsacks -- Dependence of output on input in DES: Small avalanche characteristics -- Des has no Per Round Linear Factors -- Protocols and Authentication -- A Message Authenticator Algorithm Suitable for a Mainframe Computer -- Key Management for Secure Electronic Funds Transfer in a Retail Environment -- Authentication Theory/Coding Theory -- New Secret Codes Can Prevent a Computerized Big Brother -- Fair Exchange of Secrets (extended abstract) -- Cryptoprotocols: Subscription to a Public Key, The Secret Blocking and The Multi-Player Mental Poker Game (extended abstract) -- Poker Protocols -- Impromptu Talks -- A “Paradoxical” Solution to The Signature Problem -- Sequence Complexity as a Test for Cryptographic Systems -- An Update on Quantum Cryptography -- How to Keep a Secret Alive. |
| Record Nr. | UNISA-996465804403316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in multimedia information systems : 4th international workshop, MIS98 Istanbul, Turkey September 2426, 1998 proceedings / / Gerhard Goos, Juris Hartmanis, Jan Leeuwen (editors)
| Advances in multimedia information systems : 4th international workshop, MIS98 Istanbul, Turkey September 2426, 1998 proceedings / / Gerhard Goos, Juris Hartmanis, Jan Leeuwen (editors) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (VIII, 220 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Multimedia systems Text processing (Computer science) |
| ISBN | 3-540-49651-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality of Service Support for Multimedia Data on Internet -- Heterogeneous Data Integration with Mobile Information Managers -- A Scalable Video-on-Demand Server for a Dynamic Heterogeneous Environment -- Dynamic Skyscraper Broadcasts for Video-on-Demand -- Deciding Round Length and Striping Unit Size for Multimedia Servers -- Management and Rendering of Multimedia Views -- NETCICATS: Network-Conscious Image Compression and Transmission System -- ABR Service in ATM Networks: Performance Comparison Between BECN and Adaptive Stochastic Congestion Control Schemes with Guaranteed Minimum Cell Rate -- An Admission Control Framework for Applications with Variable Consumption Rates in Client-Pull Architectures -- Accurate Modelling of VBR Coded Video Sources in ATM Networks -- Retrieving Images by Content: The Surfimage System -- Weakly Constraining Multimedia Types Based on a Type Embedding Ordering -- Balancing Workload and Communication Cost for a Distributed Virtual Environment -- Network Visualization of Heterogeneous US Army War Reserve Readiness Data -- A Museum-Oriented Authoring Tool -- Modeling and Retrieving Audiovisual Information - A Soccer Video Retrieval System -- A Flexible Architecture for the Integration of Media Servers and Databases -- Sketch- Based Images Database Retrieval -- An Integrated Data Model and a Query Language for Content- Based Retrieval of Video -- Virtual Reality for Image Retrieval -- Trends in Visual Information Retrieval (Panel Description). |
| Record Nr. | UNISA-996466097703316 |
| Berlin, Heidelberg : , : Springer, , 1998 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Multimedia Information Systems : 4th International Workshop, MIS'98, Istanbul, Turkey September 24-26, 1998, Proceedings / / edited by Sushil Jajodia, M. Tamar Özsu, Asuman Dogac
| Advances in Multimedia Information Systems : 4th International Workshop, MIS'98, Istanbul, Turkey September 24-26, 1998, Proceedings / / edited by Sushil Jajodia, M. Tamar Özsu, Asuman Dogac |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (VIII, 220 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Operating systems (Computers)
Computer networks Multimedia systems Application software Natural language processing (Computer science) Computer vision Operating Systems Computer Communication Networks Multimedia Information Systems Computer and Information Systems Applications Natural Language Processing (NLP) Computer Vision |
| ISBN | 3-540-49651-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality of Service Support for Multimedia Data on Internet -- Heterogeneous Data Integration with Mobile Information Managers -- A Scalable Video-on-Demand Server for a Dynamic Heterogeneous Environment -- Dynamic Skyscraper Broadcasts for Video-on-Demand -- Deciding Round Length and Striping Unit Size for Multimedia Servers -- Management and Rendering of Multimedia Views -- NETCICATS: Network-Conscious Image Compression and Transmission System -- ABR Service in ATM Networks: Performance Comparison Between BECN and Adaptive Stochastic Congestion Control Schemes with Guaranteed Minimum Cell Rate -- An Admission Control Framework for Applications with Variable Consumption Rates in Client-Pull Architectures -- Accurate Modelling of VBR Coded Video Sources in ATM Networks -- Retrieving Images by Content: The Surfimage System -- Weakly Constraining Multimedia Types Based on a Type Embedding Ordering -- Balancing Workload and Communication Cost for a Distributed Virtual Environment -- Network Visualization of Heterogeneous US Army War Reserve Readiness Data -- A Museum-Oriented Authoring Tool -- Modeling and Retrieving Audiovisual Information - A Soccer Video Retrieval System -- A Flexible Architecture for the Integration of Media Servers and Databases -- Sketch- Based Images Database Retrieval -- An Integrated Data Model and a Query Language for Content- Based Retrieval of Video -- Virtual Reality for Image Retrieval -- Trends in Visual Information Retrieval (Panel Description). |
| Record Nr. | UNINA-9910143471403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing the future [[electronic resource] ] : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Computing the future [[electronic resource] ] : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1992 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 004/.0973 |
| Altri autori (Persone) |
HartmanisJuris
LinHerbert |
| Soggetto topico |
Computer science
Engineering |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-19619-X
9786610196197 0-309-58460-4 0-585-12070-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910456254503321 |
| Washington, D.C., : National Academy Press, 1992 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing the future [[electronic resource] ] : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Computing the future [[electronic resource] ] : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1992 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 004/.0973 |
| Altri autori (Persone) |
HartmanisJuris
LinHerbert |
| Soggetto topico |
Computer science
Engineering |
| ISBN |
1-280-19619-X
9786610196197 0-309-58460-4 0-585-12070-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910778797503321 |
| Washington, D.C., : National Academy Press, 1992 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing the future : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council
| Computing the future : a broader agenda for computer science and engineering / / Juris Hartmanis and Herbert Lin, editors ; Committee to Assess the Scope and Direction of Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Washington, D.C., : National Academy Press, 1992 |
| Descrizione fisica | 1 online resource (286 p.) |
| Disciplina | 004/.0973 |
| Altri autori (Persone) |
HartmanisJuris
LinHerbert |
| Soggetto topico |
Computer science
Engineering |
| ISBN |
9786610196197
9781280196195 128019619X 9780309584609 0309584604 9780585120706 0585120706 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
COMPUTING THE FUTURE -- Copyright -- Preface -- Contents -- Executive Summary -- THE BACKDROP -- JUDGMENTS AND PRIORITIES -- RECOMMENDATIONS (A SUMMARY) -- To Federal Policy Makers Regarding Research -- To Universities Regarding Research -- To Federal Policy Makers Regarding Education -- To Universities Regarding Education -- CONCLUSIONS -- NOTE -- PART I -- 1 Computing-Significance, Status, Challenges -- COMPUTING IN SOCIETY -- SCOPE AND PURPOSE OF THIS REPORT -- COMPUTER SCIENCE AND ENGINEERING -- CONTRIBUTIONS OF CS& -- E TO COMPUTING PRACTICE -- COMPUTINGS AS A TWO-EDGED SWORD -- THE RELATIONSHIP BETWEEN THE FEDERAL GOVERNMENT AND CS& -- E RESEARCH -- THE RELATIONSHIP BETWEEN CS& -- E AND THE COMPUTER INDUSTRY -- THE CHANGING ENVIRONMENT FOR ACADEMIC CS& -- E -- Changes in the Computer Industry -- Structural Changes in Academic CS& -- E -- Changes in the University Environment -- SUMMARY AND CONCLUSIONS -- NOTE -- 2 Looking to the Future of CS& -- E -- BROADENING THE FIELD -- A HISTORICAL PERSPECTIVE -- RESEARCH OPPORTUNITIES IN BROADENING -- A BROADER RESEARCH AGENDA-SOME ILLUSTRATIONS -- Earth Sciences and the Environment -- Computational Biology -- Commercial Computing -- Model Management and Decision Support -- Easily Usable Software -- Software Development Metrics and Modeling -- Technology for Interoperation -- Collaborative Work -- The Electronic Library -- Input -- Retrieval -- Presentation -- Performance -- BROADENING EDUCATIONAL HORIZONS IN CS& -- E -- A SPECIAL ROLE FOR UNIVERSITY-INDUSTRY-COMMERCE INTERACTION -- PREREQUISITES FOR BROADENING -- SUMMARY AND CONCLUSIONS -- NOTES -- 3 A Core CS& -- E Research Agenda for the Future -- PROCESSOR CAPABILITIES AND MULTIPLE-PROCESSOR SYSTEMS -- DATA COMMUNICATIONS AND NETWORKING -- SOFTWARE ENGINEERING -- Reengineering of Existing Software -- Testing.
INFORMATION STORAGE AND MANAGEMENT -- RELIABILITY -- USER INTERFACES -- SUMMARY AND CONCLUSIONS -- NOTES -- 4 Education in CS& -- E -- UNDERGRADUATE EDUCATION IN CS& -- E -- Undergraduate Education for CS& -- E Majors -- Rigor and Clarity -- Mathematics and Formalism -- Breadth -- The Limits of a Four-Year Program -- Undergraduate Service Education -- THE MASTER'S DEGREE IN CS& -- E -- THE PH.D. DEGREE IN CS& -- E -- EMPLOYMENT EXPECTATIONS FOR HOLDERS OF CS& -- E DEGREES -- CONTINUING EDUCATION -- PRECOLLEGE CS& -- E EDUCATION -- SUMMARY AND CONCLUSIONS -- NOTES -- 5 Recommendations -- OVERALL PRIORITIES -- Priority 1: Sustain the CS& -- E Core -- Priority 2: Broaden the Field -- Priority 3: Improve Undergraduate Education -- RECOMMENDATIONS REGARDING RESEARCH -- To Federal Policy Makers -- To Universities -- RECOMMENDATIONS REGARDING EDUCATION -- To Federal Policy Makers -- To Universities -- Additional Studies -- CONCLUSIONS -- NOTES -- PART II -- 6 What is Computer Science and Engineering? -- COMPUTER SCIENCE AND ENGINEERING -- ABSTRACTIONS IN COMPUTER SYSTEMS -- SELECTED ACCOMPLISHMENTS -- Systems and Architectures -- Microelectronics -- Processor and Memory Design -- Operating Systems -- Data Communications and Networking -- Database Systems -- Programming Languages, Compilers, and Software Engineering -- Programming Languages -- Compilers -- Software Engineering -- Algorithms and Computational Complexity -- Algorithms Everywhere -- The Study of Algorithms -- Computational Complexity -- Artificial Intelligence -- Impact on Society -- Impact on Scientific Thought -- The Future of AI -- Computer Graphics and User Interfaces -- Graphics -- WIMP Interfaces -- A Bit of History -- Scientific and Engineering Visualization -- Touch, Sound, Gestures -- Intellectual Challenges -- SYNERGY LEADING TO INNOVATIONS AND RAPID PROGRESS. INTELLECTUAL AND STRUCTURAL CHARACTERISTICS OF CS& -- E AS A DISCIPLINE -- NOTES -- 7 Institutional Infrastructure of Academic CS& -- E -- FEDERAL AGENCIES FUNDING COMPUTER SCIENCE AND ENGINEERING -- Department of Defense -- National Science Foundation -- NSF Supercomputer Centers -- NSFNET -- Science and Technology Centers -- National Aeronautics and Space Administration -- Department of Energy -- Other Federal Agencies -- National Institutes of Health -- National Institute of Standards and Technology -- PRIVATE NONGOVERNMENTAL ORGANIZATIONS -- Universities -- Professional Organizations -- NOTES -- 8 Human Resources -- BACCALAUREATE AND POST-BACCALAUREATE DEGREE PRODUCTION -- COMPOSITION OF ACADEMIC CS& -- E -- Representation of Women and Minorities -- Involvement of Foreign Students -- Youth and Rapid Growth of Computer Science and Engineering -- NOTES -- APPENDIX -- CONTRIBUTORS TO COMPUTING THE FUTURE -- INDEX. |
| Record Nr. | UNINA-9910957260403321 |
| Washington, D.C., : National Academy Press, 1992 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The programming language Ada : reference manual : proposed standard document / / edited by G. Goos and J. Hartmanis
| The programming language Ada : reference manual : proposed standard document / / edited by G. Goos and J. Hartmanis |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (XII, 244 p.) |
| Disciplina | 005.133 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Ada (Computer program language) |
| ISBN | 3-540-38620-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic program units -- Representation specifications and implementation dependent features -- Input-output. |
| Record Nr. | UNISA-996465505003316 |
| Berlin, Heidelberg : , : Springer-Verlag, , [1981] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||