الصفحة 5
الصفحة 5
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference of February 22-24, 2007, held at Aachen was the 24th in this series. Previous meetings took place in Paris (1984), Saarbr¨ucken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), W¨urzburg (1993), Caen (1994), M¨unchen (1995), Grenoble (1996), L¨ubeck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), Berlin (2003), Montpellier (2004), Stuttgart (2005), and Marseille (2006). The interest in STACS has been increasing continuously in recent years. The STACS 2007 call for papers led to approximately 400 submissions from all over the world.
Stabilization, Safety, and Security of Distributed Systems ; 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings
Contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, 2006. Proceedings symposium has been the main forum for presentation of research results in the area of self-* for 17 years. This year,we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the International Symposium on Stabilization, Safety, and Security of D- tributed Systems (SSS) to re?ect this expansion.
Speaker Classification II : Selected Papers
Constitutes a state-of-the-art survey for the field of speaker classification. It approaches the following questions: What characteristics of the speaker become manifest in his or her voice and speaking behavior? Which of them can be inferred from analyzing the acoustic realizations? What can this information be used for? Which methods are the most suitable for diversified problems in this area of research? How should the quality of the results be evaluated?
Speaker Classification I : Fundamentals, Features, and Methods
Constitutes a state-of-the-art survey for the field of speaker classification. They approach the following questions: What characteristics of the speaker become manifest in his or her voice and speaking behavior? Which of them can be inferred from analyzing the acoustic realizations? What can this information be used for? Which methods are the most suitable for diversified problems in this area of research? How should the quality of the results be evaluated?
Software Verification and Validation : An Engineering and Scientific Approach
Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? / 2) Are we building the software right?
Software Verification ; 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software Technologies for Embedded and Ubiquitous Systems ; 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive and mobile systems: wireless embedded systems; synthesis, verification and protection.
Software Engineering Techniques : Design for Quality
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Software Engineering for Multi-Agent Systems V ; Research Issues and Practical Applications ; Conference proceedings
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of large-scale distributed systems. Multi-agent systems (MASs) and their underlying theories provide a more natural support for ensuring important agent properties, such as autonomy, environment heterogeneity, organization and openness. Nevertheless, a software agent is an inherently more complex abstraction, posing new challenges to software engineering. Without adequate development te- niques and methods, MASs will not be sufficiently dependable, thus making their wide adoption by the industry more difficult. The dependability of a computing system is its ability to deliver a service that can be justifiably trusted.
Software engineering for multi-agent systems III : Research issues and practical applications
Presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications. The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination.
Software engineering and formal methods ; 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
Soft Matter under Exogenic Impacts
The identification of new types of physical behavior, new technological materials, ultimate verification of condensed and soft matter physics models, new applications in geophysics, biophysics, biotechnology, are all discussed in this book.
Simulation of semiconductor processes and devices 2007 ; 12th International Conference on simulation of semiconductor processes and devices SISPAD 2007 ; TU Wien, Vienna, Austria
The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and SISDEP. With its longstanding history SISPAD provides a world-wide forum for the presenta tion and discussion of outstanding recent advances and developments in the field of numerical process and device simulation. Driven by the ongoing miniaturization in semiconductor fabrication technology, the variety of topics discussed at this meeting reflects the ever-growing complexity of the subject. Apart from the classic topics like process, device, and interconnect simulation, mesh generation, a broad spec trum of numerical issues, and compact modeling, new simulation approaches like atomistic and first-principles methods have emerged as important fields of research and are currently making their way into standard TCAD suites.
Service-Oriented Computing ICSOC 2006 ; 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in Chicago, IL, USA. Both ICSOC'06 workshops were held as one-day-workshops the day before the major conference program of ICSOC'06 started.
Service-Oriented Computing - ICSOC 2008 ; 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings
Presents original research in the field of service oriented computing, from theoretical and foundational results to empirical evaluations as well as practical and industrial experiences. Topics addressed include services foundations, business service modelling, integrating systems of systems using services, service engineering, service assembly, service management, SOA runtime, quality of service, service applications (grid, e-science, government, etc.), as well as business and economical aspects of services.
Service Availability Vol. 3694 ; 2nd International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Service Availability Symposium, ISAS 2005, held in Berlin, Germany in April 2005. The 15 revised full papers presented together with a keynote talk were carefully selected for inclusion in the book. The papers are organized in topical sections on data and computation availability, specifying, modeling and verifying service availability, high-availability by service-oriented architectures, modeling and composition, and verification and availability assessment.
Semiconductor Modeling : For Simulating Signal, Power, and Electromagnetic Integrity
Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity gives designers and engineers a broad view of using semiconductor models to design high-speed circuit boards. Most issues in the field of designing high-frequency circuits, from the beginning of modeling and simulation using EDA tools to future trends, are discussed and integrated.
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. Written out of a tradition that places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications.
Self-stabilizing systems ; 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in October 2005. The 15 papers presented in this title address topics of self-stabilization, extensions to the field, such as snap-stabilization, code stabilization, self-stabilization, or applications of self-stabilization.
Security Protocols ; Vol. 3957 ; 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers
" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme this workshop was “Authentic Privacy.” Traditionally we have based authentication upon a rather strong notion of identity, and have then built other security services on top of authentication. Perhaps if we want a more nuanced notion of privacy, then we need to re-examine some of our assu- tions, particularly when attackers and defenders share the same resources and infrastructure.
