الصفحة 3
الصفحة 3
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Informatics in the Future ; Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which can be instantiated by software to any concrete problem-solving machine, changing its behavior in response to external and internal states, allowing for self-reflective and “intelligent” behavior. However, current phenomena such as the Web, cyber physical systems or the Internet of Things show us that we might already have gone beyond this idea, exemplifying a metamorphosis from a stand-alone calculator to the global operating system of our society.
Inductive logic programming ; 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008.The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Implementation and Application of Automata ; Vol. 3845 ; 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Contains the notes of the two invited lectures, the 26 papers selected for presentation at the conference, and the abstracts of the eight posters that were displayed.
Implementation and application of automata ; Vol. 3317 ; 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other fields. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencing and genecompression, and from state complexity and new algorithms for automata operations to applications of quantum finite automata.
Implementation and application of automata ; 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference.
III European Conference on computational mechanics : Solids, structures and coupled problems in engineering : Book of abstracts
Computational Mechanics in Solid, Structures and Coupled Problems in Engineering is today a mature science with applications to major industrial projects. This book contains the edited version of the Abstracts of Plenary and Keynote Lectures and Papers, and a companion CD-ROM with the full-length papers, presented at the III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering (ECCM-2006), The book reflects the state-of-art of Computation Mechanics in Solids, Structures and Coupled Problems in Engineering and it includes contributions by the world most active researchers in this field.
Hypercomputation : Computing Beyond the Church-Turing Barrier
Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the Church-Turing thesis. This book will provide a thorough description of the field of hypercomputation, covering all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine.Readers will reach a deeper understanding of what computability is and why the Church-Turing thesis poses an arbitrary limit to what actually can be computed. Hypercomputing is quite a novel idea, and therefore the book is interesting to the reader in its own right.
Hybrid Systems : Computation and Control ; 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
History of Banach Spaces and Linear Operators
Written by a distinguished specialist in functional analysis, this book presents a comprehensive treatment of the history of Banach spaces and (abstract bounded) linear operators. While other historical texts on the subject focus on developments before 1950, this one is mainly devoted to the second half of the 20th century.Banach space theory is presented in a broad mathematical context, using tools from such areas as set theory, topology, algebra, combinatorics, probability theory, and logic.
High performance computing for computational science - VECPAR 2008 ; 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008.The 51 revised full papers presented together with the abstract of a surveying and look-ahead talk were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on parallel and distributed computing, cluster and grid computing, problem solving environment and data centric, numerical methods, linear algebra, computing in geosciences and biosciences, imaging and graphics.
High performance computing - HiPC 2008 ; 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.
High performance computing - HiPC 2007 ; 14th International Conference, Goa, India, December 18-21, 2007, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, held in Goa, India, in December 2007. The 53 revised full papers presented together with the abstracts of five keynote talks were carefully reviewed and selected from 253 submissions.
High Availability and Disaster Recovery : Concepts, Design, Implementation
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster recovery are contributions of the IT to fulfill this requirement. And companies will be confronted with such demands to an even greater extent in the future, since their credit ratings will be lower without such precautions. Both, high availability and disaster recovery, are realized by redundant systems. Redundancy can and should be implemented on different abstraction levels: from the hardware, the operating system and middleware components up to the backup computing center in case of a disaster. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux systems.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Hardy Inequalities on Homogeneous Groups : 100 Years of Hardy Inequalities
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects.In this environment, the theory of Hardy inequalities becomes intricately intertwined with the properties of sub-Laplacians and subelliptic partial differential equations.
Hardware Verification with SystemVerilog : An Object-Oriented Framework
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task. With this handbook—the first to focus on applying OOP to SystemVerilog—we’ll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components. Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples.
Guide to Efficient Software Design : An MVC Approach to Concepts, Structures, and Models
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These concepts are then applied to a case study, and reinforced through practice exercises, with the option to follow either a structured design or object-oriented design paradigm. The text applies an incremental and iterative software development approach, emphasizing the use of design characteristics and modeling techniques as a way to represent higher levels of design abstraction, and promoting the model-view-controller (MVC) architecture.
