الصفحة 1
الصفحة 1
Model Driven Engineering Languages and Systems ; Vol. 4199 ; 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006. The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
International law ; 9th ed.
Intended for all interested in international law, ranging from undergraduate students, who will appreciate the accessible and engaging style to professional lawyers and others requiring authority, dependability and extensive referencing to facilitate additional research.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Embedded Software and Systems ; 3rd International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
This book introduces sections on embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia and HCI, pervasive/ubiquitous computing and sensor network, power-aware computing, real-time systems, security and dependability, and wireless communication.
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control system as an integrated whole. First to be discussed are some basic issues about real-time systems and their properties, specifically safety. Then, system and hardware architectures are dealt.
Distributed Applications and Interoperable Systems ; Vol. 4025 ; 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems VI held in Bologna, Italy, on June 14-16, 2006. The conference program presents the state of the art in research on d- tributed and interoperable systems. In recent years, distributed applications have indeed gained a practical and widely-known footing in everyday computing.
Disruptive trends in automation technology
The industrial sector is being transformed by the convergence of information technology and operational technology. The latter is another name for automation technology and covers established systems such as supervisory control and data acquisition (SCADA), programmable logic controllers (PLC), fieldbuses, and automation and control systems. As this technology is connected to the Internet and 5G networks, some monitoring, control, and analytic functionalities are deployed to the edge or cloud, and researchers are challenged to ensure the security, dependability, real-time performance, and maintainability of the resulting systems. The big data that is accessible from these systems create opportunities for artificial intelligence applications that can further disrupt the established practices in the automation domain.
Developing Ambient Intelligence ; Proceedings of the First International Conference on Ambient Intelligence Developments (AmID'06)
As Ambient Intelligence (AmI) ecosystems are rapidly becoming a reality, they raise new research challenges. Unlike predefined static architectures as we know them today, AmI ecosystems are bound to contain a large number of heterogeneous computing, communication infrastructures and devices that will be dynamically assembled. Architectures will be sensitive, adaptive, context-aware and responsive to users‚ needs and habits.Researchers need to both enable their user-friendly application in a growing number of areas while ensuring that these applications remain reliable and secure. Held in Sophia Antipolis (France) from September the 20th to September the 22nd 2006, the first edition of the AmI.d conference tackled the latest research challenges within AmI ecosystems, presented AmI applications as well as security solutions.
Dependable Systems : Software, Computing, Networks : Research Results of the DICS Program
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.
Dependable computing ; 3rd Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
Dependable computing - EDCC 2005 ; 5th European dependable computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods that enable quantitative analysis in early design stages are required, should dependability analyses aim to influence the design. Due to the limited amount of data in this phase, the level of uncertainty is high and explicit modeling of these uncertainties becomes necessary. This work introduces new uncertainty-preserving dependability methods for early design stages.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Constituents of Modern System-safety Thinking
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005. The papers included in this volume bring together topics that are of the utmost importance in current safety thinking. The core of modern safety thinking and practice is a risk-based approach, and, this is not only a common thread running throughout the papers, but is also explored in two of them. Other themes considered include the safety case, safety assessment, accident investigation, and the commonality between the processes and techniques employed in safety and security engineering. Papers contain extensive industrial experience as well as recent academic research and are presented under the headings: Independent Safety Assessment, Safety and Security, Accident Investigation, Risk and its Tolerability, Achieving and Arguing the Safety of Modular Systems, and Technologies for Dependability.
Computer safety, reliability, and security ; Vol. 3688
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
Computer safety, reliability, and security ; 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.
Computer safety, reliability, and security ; 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains.This book included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns.
Massively Multi-Agent Technology ; AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on Massively Multi-Agent Systems, MMAS 2006, and on Large scale Multi-Agent Systems, LSMAS 2006, held in Hakodate, Japan, in May 2006, and of the International Workshop on Coordination and Control in Massively Multi-Agent Systems, CCMMS 2007, held in Honolulu, HI, USA, in May 2007 as associated event of AAMAS 2007.
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
