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 Algorithms [[electronic resource] ] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / / edited by Gerard Tel, Paul Vitanyi
| Distributed Algorithms [[electronic resource] ] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / / edited by Gerard Tel, Paul Vitanyi |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 378 p.) |
| Disciplina | 004/.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer programming Algorithms Computer communication systems Theory of Computation Software Engineering/Programming and Operating Systems Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Communication Networks |
| ISBN | 3-540-48799-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replicated file management in large-scale distributed systems -- Realization of PRAMs: Processor design -- Factoring -- Primary partition “Virtually-synchronous communication” harder than consensus -- Secure distributed computing: Theory and practice -- Fast increment registers -- Coping with contention -- Exotic behaviour of consensus numbers -- Space-optimum conflict-free construction of 1-writer 1-reader multivalued atomic variable -- Linear-time snapshot using multi-writer multi-reader registers -- Fast, long-lived renaming -- Anomalies in the wait-free hierarchy -- Finding the extrema of a distributed multiset -- The level of handshake required for establishing a connection -- Local labeling and resource allocation using preprocessing -- A scalable approach to routing in ATM networks -- Low complexity network synchronization -- An incremental distributed algorithm for computing biconnected components -- Reaching (and maintaining) agreement in the presence of mobile faults -- Uniform deterministic self-stabilizing ring-orientation on odd-length rings -- Using failure detectors to solve consensus in asynchronous shared-memory systems -- An algorithm with optimal failure locality for the dining philosophers problem -- Average and randomized complexity of distributed problems -- Self-stabilization by local checking and global reset -- Breakpoints and time in distributed computations -- Cheaper matrix clocks. |
| Record Nr. | UNISA-996466132103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller
| SOFSEM 2006: Theory and Practice of Computer Science [[electronic resource] ] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVI, 580 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer networks Software engineering Database management Information storage and retrieval systems Application software Theory of Computation Computer Communication Networks Software Engineering Database Management Information Storage and Retrieval Computer and Information Systems Applications |
| ISBN | 3-540-32217-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- How Can Nature Help Us Compute? -- Evolving Ontology Evolution -- A Formal Comparison of Visual Web Wrapper Generators -- Beyond the Horizon: Planning Future European ICT R&D -- Selfish Routing in Networks -- New Physics and Hypercomputation -- Models and Algorithms for Wireless Sensor Networks (Smart Dust) -- SomeWhere in the Semantic Web -- Mobility in Wireless Networks -- Group Communication: From Practice to Theory -- Regular Papers -- A General Data Reduction Scheme for Domination in Graphs -- Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources -- Non-intersecting Complexity -- Constructing Interference-Minimal Networks -- Matching Points with Rectangles and Squares -- Searching Paths of Constant Bandwidth -- Graph Searching and Search Time -- Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic -- Simple Algorithm for Sorting the Fibonacci String Rotations -- Oriented Coloring: Complexity and Approximation -- nonblocker: Parameterized Algorithmics for minimum dominating set -- Quantum Finite Automata and Logics -- FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks -- Roman Domination: A Parameterized Perspective -- Sedna: A Native XML DBMS -- Optimal Memory Rendezvous of Anonymous Mobile Agents in a Unidirectional Ring -- The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies -- Complexity and Exact Algorithms for Multicut -- Using Extensible Heterogeneous Database Transformers -- P-Selectivity, Immunity, and the Power of One Bit -- Transparent Migration of Database Services -- Merging and Merge-Sort in a Single Hop Radio Network -- On Optimal and Efficient in Place Merging -- A Personalized Recommendation System Based on PRML for E-Commerce -- An Efficient Index Scheme for XML Databases -- On Separating Constant from Polynomial Ambiguity of Finite Automata -- Reliable Broadcasting Without Collision Detection -- Semi-strong Static Type Checking of Object-Oriented Query Languages -- Building a Fuzzy Transformation System -- News Generating Via Fuzzy Summarization of Databases -- Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis -- Automatic Distribution of Sequential Code Using JavaSymphony Middleware -- Unifying Framework for Message Passing -- Heuristics on the Definition of UML Refinement Patterns -- The Complexity of Problems on Implicitly Represented Inputs -- How Many Dots Are Really Needed for Head-Driven Chart Parsing? -- Ontology Acquisition for Automatic Building of Scientific Portals -- Improved ROCK for Text Clustering Using Asymmetric Proximity -- Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet -- Computational Complexity of Relay Placement in Sensor Networks -- On the NP-Completeness of Some Graph Cluster Measures -- A Flexible Policy Architecture for Mobile Agents -- An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority -- Small Independent Edge Dominating Sets in Graphs of Maximum Degree Three -- The Best Student Paper -- Level-of-Detail in Behaviour of Virtual Humans. |
| Record Nr. | UNISA-996465594103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM'99, theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / / Jan Pavelka, Gerard Tel, Miroslav BartosÌŒek (editors)
| SOFSEM'99, theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / / Jan Pavelka, Gerard Tel, Miroslav BartosÌŒek (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 506 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software
Computers |
| ISBN | 3-540-47849-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Quantum Challenges -- Stability of Approximation Algorithms for Hard Optimization Problems -- Algorithms on Compressed Strings and Arrays -- WWW Based Collaboration with the BSCW System -- Middleware and Quality of Service -- Dynamic Reconfiguration of CORBA-Based Applications -- Fast, Error Correcting Parser Combinators: A Short Tutorial -- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications -- Databases and the World Wide Web -- Exploiting Formality in Software Engineering -- Biomolecular Computing and Programming -- Software Change and Evolution -- Distributed Simulation with Cellular Automata: Architecture and Applications -- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors -- On Interactive Computation: Intelligent Tutoring Systems -- Coherent Concepts, Robust Learning -- Application of Artificial Neural Networks for Different Engineering Problems -- Factor Oracle: A New Structure for Pattern Matching -- Principles of Forecasting — A Short Overview -- Contributed Papers -- UPV-Curry: An Incremental Curry Interpreter -- Quantum Finite Multitape Automata -- Decomposable Bulk Synchronous Parallel Computers -- Component Change and Version Identification in SOFA -- Pattern Equations and Equations with Stuttering -- Garbage Collection for Mobile and Replicated Objects -- Randomized Gossiping by Packets in Faulty Networks -- Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus -- Simulation Problems for One-Counter Machine -- On Semantics of Petri Nets Over Partial Algebra -- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals -- Quantum Finite One-Counter Automata -- A Performance Comparison of Mobile Agents and RPC -- Cyclic Cutwidth of the Mesh -- Some Afterthoughts on Hopfield Networks -- A persistent-Set Approach to Abstract State-Space Construction in Verification -- Computational Power of Neuroidal Nets -- Cellular Automata with Dynamically Reconfigurable Buses. |
| Record Nr. | UNISA-996465601703316 |
| Berlin, Germany : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM'99, theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / / Jan Pavelka, Gerard Tel, Miroslav BartosÌŒek (editors)
| SOFSEM'99, theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / / Jan Pavelka, Gerard Tel, Miroslav BartosÌŒek (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 506 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software
Computers |
| ISBN | 3-540-47849-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Quantum Challenges -- Stability of Approximation Algorithms for Hard Optimization Problems -- Algorithms on Compressed Strings and Arrays -- WWW Based Collaboration with the BSCW System -- Middleware and Quality of Service -- Dynamic Reconfiguration of CORBA-Based Applications -- Fast, Error Correcting Parser Combinators: A Short Tutorial -- IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications -- Databases and the World Wide Web -- Exploiting Formality in Software Engineering -- Biomolecular Computing and Programming -- Software Change and Evolution -- Distributed Simulation with Cellular Automata: Architecture and Applications -- Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors -- On Interactive Computation: Intelligent Tutoring Systems -- Coherent Concepts, Robust Learning -- Application of Artificial Neural Networks for Different Engineering Problems -- Factor Oracle: A New Structure for Pattern Matching -- Principles of Forecasting — A Short Overview -- Contributed Papers -- UPV-Curry: An Incremental Curry Interpreter -- Quantum Finite Multitape Automata -- Decomposable Bulk Synchronous Parallel Computers -- Component Change and Version Identification in SOFA -- Pattern Equations and Equations with Stuttering -- Garbage Collection for Mobile and Replicated Objects -- Randomized Gossiping by Packets in Faulty Networks -- Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus -- Simulation Problems for One-Counter Machine -- On Semantics of Petri Nets Over Partial Algebra -- Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals -- Quantum Finite One-Counter Automata -- A Performance Comparison of Mobile Agents and RPC -- Cyclic Cutwidth of the Mesh -- Some Afterthoughts on Hopfield Networks -- A persistent-Set Approach to Abstract State-Space Construction in Verification -- Computational Power of Neuroidal Nets -- Cellular Automata with Dynamically Reconfigurable Buses. |
| Record Nr. | UNINA-9910767571703321 |
| Berlin, Germany : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||