Distributed Computing [[electronic resource] ] : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings / / edited by Shlomi Dolev

• Record Nr.: UNISA996466271603316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• ISBN: 3-540-44627-3
• Edizione: [1st ed. 2006.]
• Descrizione fisica: 1 online resource (XVI, 580 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4167
• Disciplina: 004.0151
• Soggetti: Computer science; Computer networks; Algorithms; Computer programming; Operating systems (Computers); Theory of Computation; Computer Communication Networks; Programming Techniques; Operating Systems
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Exploring Gafni’s Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement -- Exploring Gafni’s Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement -- Renaming in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked Lists -- Fault-Tolerant and Self-stabilizing Mobile Robots Gathering -- Fast Computation by Population Protocols with a Leader -- On Self-stabilizing Search Trees -- Efficient Dynamic Aggregation -- Groupings and Pairings in Anonymous Networks -- A New Proof of the GHS Minimum Spanning Tree Algorithm -- A Knowledge-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL -- Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture -- ; Conflict Detection and Validation Strategies for Software Transactional Memory -- Transactional Locking II -- Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects -- One-Step Consensus Solvability -- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols -- On Consistency of Encrypted Files -- Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data -- A Lazy Snapshot Algorithm with Eager Validation -- Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients -- Time and Communication Efficient Consensus for Crash Failures -- Subconsensus Tasks: Renaming Is Weaker Than Set Agreement -- Exact Distance Labelings Yield Additive-Stretch Compact Routing Schemes -- A Fast Distributed Approximation Algorithm for Minimum Spanning Trees -- On Randomized Broadcasting in Power Law Networks -- Distributed Approximation Algorithms in Unit-Disk Graphs -- The Weakest Failure Detectors to Boost Obstruction-Freedom -- Fully-Adaptive Algorithms for Long-Lived Renaming -- Constructing Shared Objects That Are Both Robust and High-Throughput -- Byzantine and Multi-writer K-Quorums -- On Minimizing the Number of ADMs in a General Topology Optical Network -- Robust Network Supercomputing with Malicious Processes -- Distributed Resource Allocation in Stream Processing Systems -- Low-latency Atomic Broadcast in the presence of contention -- Oblivious Gradient Clock Synchronization -- Brief Announcement: Abortable and Query-Abortable Objects -- Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers -- Brief Announcement: Convergence Analysis of Scalable Gossip Protocols -- Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules -- Brief Announcement: Many Slices Are Better Than One -- Brief Announcement: On Augmented Graph Navigability -- Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems -- Brief Announcement: Optimistic Algorithms for Partial Database Replication -- Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays -- Brief Announcement: Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance -- Brief Announcement Monitoring of Linear Distributed Computations -- Brief Announcement: Communication-Optimal Implementation of Failure Detector Class -- Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks -- Invited Talks -- Provably Unbreakable Hyper-encryption Using Distributed Systems -- Time, Clocks, and the Ordering of My Ideas About Distributed Systems -- My Early Days in Distributed Computing Theory: 1979–1982 -- Panel on the Contributions of the DISC Community to Distributed Computing: A Historical Perspective -- DISC at Its 20th Anniversary:Past, Present and Future -- Erratum -- DISC at Its 20th Anniversary: Past, Present and Future.
• Sommario/riassunto: DISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets of distributed computing, inc- ding the theory, design, analysis, implementation, and application of distributed systems and networks. The 20th anniversary edition of DISC was held on S- tember 18-20, 2006, in Stockholm, Sweden. There were 145 extended abstracts submitted to DISC this year, and this - lume contains the 35 contributions selected by the Program Committee and one invited paper among these 145 submissions. All submitted papers were read and evaluated by at least three Program Committee members, assisted by external reviewers. The ?nal decision regarding every paper was taken during the P- gram ; Committee meeting, which took place in Beer-Sheva, June 30 and July 1, 2006. The Best Student Award was split and given to two papers: the paper “- act Distance Labelings Yield Additive-Stretch Compact Routing Schemes,” by Arthur Bradly, and Lenore Cowen, and the paper “A Fast Distributed App- ximation Algorithm for Minimum Spanning Trees” co-authored by Maleq Khan and Gopal Pandurangan. The proceedings also include 13 three-page-long brief announcements (BA). TheseBAsarepresentationsofongoingworksforwhichfullpapersarenotready yet, or of recent results whose full description will soon be or has been recently presented in other conferences. Researchers use the BA track to quickly draw the attention of the community to their experiences, insights and results from ongoing distributed computing research and projects. The BAs included in this proceedings volume were selected among 26 BA submissions.

Software Architecture : 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings / / edited by Muhammad Ali Babar, Ian Gorton

• Record Nr.: UNINA9910481963803321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
• ISBN: 1-280-38831-5; 9786613566232; 3-642-15114-0
• Edizione: [1st ed. 2010.]
• Descrizione fisica: 1 online resource (XII, 534 p. 162 illus.)
• Collana: Programming and Software Engineering, , 2945-9168 ; ; 6285
• Altri autori (Persone): Ali BabarMuhammad; GortonIan
• Disciplina: 005.1
• Soggetti: Software engineering; Computer networks; Compilers (Computer programs); Computer science; Electronic data processing - Management; Software Engineering; Computer Communication Networks; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; IT Operations
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Keynote Talks -- Architecture in the Age of Compositionality -- Where Did All This Good Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection -- Naive Architecting - Understanding the Reasoning Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint for Model Driven Development and Maintenance of Business Logic for Information Systems -- A Model for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique -- An Architectural Approach to Composing Reputation-Based Distributed Services -- Automated Detection of Least Privilege Violations in Software Architectures -- Architecting a Model-Driven Aspect-Oriented Product Line for a Digital TV Middleware: A Refactoring Experience -- Impact Evaluation for Quality-Oriented Architectural Decisions regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences from Scenario-Based Architecture Evaluations with ATAM -- Feature-Based Composition of Software Architectures -- Linking Design Decisions to Design Models in Model-Based Software Development -- Customer Value in Architecture Decision Making -- A Formal Approach to Enforcing Consistency in Self-adaptive Systems -- Architecture-Centric Component-Based Development Needs a Three-Level ADL -- Emerging Research Papers -- Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures -- Using Domain Knowledge to Boost Software Architecture Evaluation -- Independently Extensibile Contexts -- Mediating Connector Patterns for Components Interoperability -- Assessing the Impact of AOSD on Layered Software Architectures -- Explaining Architectural Choices to Non-architects -- Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review -- A Classification of Value for Software Architecture Decisions -- BeeEye: A Framework for Constructing Architectural Views -- Facilitating the Selection of Architectural Patterns by Means of a Marked Requirements Model -- Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications -- Mining Relationships between the Participants of Architectural Patterns -- Software Architecture Recovery Process Based on Object-Oriented Source Code and Documentation -- Ontological Analysis for Generating Baseline Architectural Descriptions -- Experiences in Making Architectural Decisions during the Development of a New Base Station Platform -- On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms -- Context-Aware Quality Model Driven Approach: A New Approach for Quality Control in Pervasive Computing Environments -- Many to Many Service Discovery: A First Approach -- Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools -- Specifying Loose Coupling from Existing Service Composition Approaches -- Research Challenges Papers -- Dynamic Adaptive Service Architecture – Towards ; Coordinated Service Composition -- Identity Management Mismatch Challenges in the Danish Municipality Administration System -- From Web Components to Web Services: Opening Development for Third Parties -- Learning from the Cell Life-Cycle: A Self-adaptive Paradigm -- Toward anAspect Oriented ADL for Embedded Systems -- On the Need of Safe Software Product Line Architectures -- Expert Activities Automation through Enhanced Business Services Orchestration -- Architecture Decision-Making in Support of Complexity Control -- Software Architecture Constraints as Customizable, Reusable and Composable Entities -- A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures -- Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives -- Tool Demo Papers -- MDA Tool for Telecom Service Functional Design -- A NUI Based Multiple Perspective Variability Modeling CASE Tool -- ByADL: An MDE Framework for Building Extensible Architecture Description Languages.
• Sommario/riassunto: Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides researchers and practitioners with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The fourth edition of ECSA was built upon a history of a successful series of European workshops on software architecture held from 2004 through 2006 and a series of European software architecture conferences from 2007 through 2009. The last ECSA was merged with the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA). Apart from the traditional technical program consisting of keynote talks, a main - search track, and a poster session, the scope of the ECSA 2010 was broadened to incorporate other tracks such as an industry track, doctoral symposium track, and a tool demonstration track. In addition, we also offered several workshops and tutorials on diverse topics related to software architecture. We received more than 100 submissions in the three main categories: full research and experience papers, emerging research papers, and research challenges papers. The conference attracted papers (co-)authored by researchers, practitioners, and academics from 30 countries (Algeria, Australia, Austria, Belgium, Brazil, Canada, Chile, China, Colombia, Czech Republic, Denmark, Finland, France, Germany, Hong Kong, I- land, India, Ireland, Israel, Italy, The Netherlands, Poland, Portugal, Romania, Spain, Sweden, Switzerland, Tunisia, United Kingdom, United States).

Journal of nuclear science and technology

• Record Nr.: UNINA9910134220603321
• Pubbl/distr/stampa: [Tokyo], : [Atomic Energy Society of Japan], [1964]-; Abingdon, UK, : Taylor & Francis
• ISSN: 1881-1248
• Disciplina: 539.705
• Soggetti: Nuclear physics; Nuclear energy; Nuclear engineering; Nuclear Energy; Nuclear Physics; Physique nucléaire; Énergie nucléaire; Periodical; Periodicals.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Note generali: Refereed/Peer-reviewed
• Sommario/riassunto: Includes English language abstracts from Japanese articles in Nihon Genshiryoku Gakkai Shi (Journal of the Atomic Energy Society of Japan).