Page 8
Page 8
Formal approaches to software testing ; Vol. 3395 ; 4th International workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.
Formal Approaches to Agent-Based Systems ; 3rd International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.
Finite-state methods and natural language processing ; 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods in Natural Language Processing, FSMNLP 2005, held in Helsinki, Finland, September 2005. The book presents 24 revised full papers and seven revised poster papers together with two invited contributions and abstracts of six software demos. Topics include morphology, optimality theory, some special FSM families, weighted FSM algorithms, FSM representations, exploration, ordered structures, and surface parsing.
Evolving Connectionist Systems : The Knowledge Engineering Approach
Evolving Connectionist Systems is aimed at all those interested in developing and using intelligent computational models and systems to solve challenging real world problems in computer science, engineering, bioinformatics and neuroinformatics. The book challenges scientists and practitioners with open questions about future creation of new information models inspired by Nature. This edition includes new methods for adaptive, knowledge-based learning, such as online incremental feature selection, spiking neural networks, transductive neuro-fuzzy inference, adaptive data and model integration, cellular automata and artificial life systems, particle swarm optimisation, ensembles of evolving systems, and quantum inspired neural networks. New applications to gene and protein interaction modelling, brain data analysis and brain model creation, computational neuro-genetic modelling, adaptive speech, image and multimodal recognition, language modelling, adaptive robotics, modelling dynamic financial and socio-economic systems, and ecological modelling, are covered. An important new feature of the book is the attempt to connect different structural and functional levels of a complex, intelligent system, looking for inspiration from functional relationships in natural systems, such as the genetic and the brain activity.
Evolvable systems : From biology to hardware ; 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed by John von Neumann in the middle of the twentieth century and the current possibility of designing electronic and mechanical systems using evolutionary principles are all examples of the efforts made by humans to explore the mechanisms present in biological systems that permit them to tackle complex tasks. These initiatives have recently given rise to the emergent field of b- inspired systems and evolvable hardware. The inaugural workshop, Towards Evolvable Hardware, took place in Lausanne in October 1995, followed by the successive events of the International Conference on Evolvable Systems: From Biology to Hardware, held in Tsukuba (Japan) in October 1996, in Lausanne (Switzerland) in September 1998, in Edinburgh (UK) in April 2000, in Tokyo (Japan) in October 2001, and in Trondheim (Norway) in March 2003. Following the success of these past events the sixth international conference was aimed at presenting the latest developments in the field, bringing together researchers who use biologically inspired concepts to implement real systems in artificial intelligence, artificial life, robotics, VLSI design, and related domains. The sixth conference consolidated this biennial event as a reference meeting for the community involved in bio-inspired systems research. All the papers received were reviewed by at least three independent reviewers, thus guaranteeing a high-quality bundle for ICES 2005.
Evolvable Machines : Theory & Practice
Methods for the artificial evolution of active components, such as programs and hardware, are rapidly developing branches of adaptive computation and adaptive engineering. "Evolvable Machines" reports innovative and significant progress in automatic and evolutionary methodology applied to machine design. This book presents theoretical as well as practical chapters concentrating on Evolvable Robots, Evolvable Hardware Synthesis, as well as Evolvable Design.
Evolutionary Synthesis of Pattern Recognition Systems
Evolutionary Synthesis of Pattern Recognition Systems presents novel effective approaches based on evolutionary computational techniques, such as genetic programming (GP), linear genetic programming (LGP), coevolutionary genetic programming (CGP) and genetic algorithms (GA) to automate the synthesis and analysis of object detection and recognition systems. The book’s concepts, principles, and methodologies will enable readers to automatically build robust and flexible systems—in a systematic manner—that can provide human-competitive performance and reduce the cost of designing and maintaining these systems. Its content covers all key aspects of object recognition: object detection, feature selection, feature discovery, object recognition, domain knowledge. Basic knowledge of programming and data structures, and some calculus, is presupposed.ing the book’s novel ideas
Evolutionary Multiobjective Optimization : Theoretical Advances and Applications
Evolutionary Multiobjective Optimization is a rare collection of the latest state-of-the-art theoretical research, design challenges and applications in the field of multiobjective optimization paradigms using evolutionary algorithms. It includes two introductory chapters giving all the fundamental definitions, several complex test functions and a practical problem involving the multiobjective optimization of space structures under static and seismic loading conditions used to illustrate the various multiobjective optimization concepts.
Evolutionary Multi-Criterion Optimization ; 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must be simultaneously satisfied. Evolutionary algorithms have been used for solving multicriterion optimization problems for over two decades, gaining an increasing attention from industry. This book included four keynote speakers: Hirotaka Nakayama on aspiration level methods, Kay Chen Tan on large and computationally intensive real-world MO optimization problems, Carlos Fonseca on decision making, and Gary B. Lamont on design of large-scale network centric systems.
Evolutionary Computer Music
The evolutionary computation approach to music is an exciting new development for composers and musicologists alike. For composers, it provides an innovative and natural means for generating musical ideas from a specifiable set of primitive components and processes. For musicologists, these techniques are used to model the cultural transmission and change of a population's body of musical ideas over time. In both cases, musical evolution can be guided by a variety of constraints and tendencies built into the system, such as realistic psychological factors that influence the way music is expressed, experienced, learned, stored, modified, and passed on among individuals. This book discusses not only the applications of evolutionary computation to music, but also the tools needed to create and study such systems. These tools are drawn in part from research into the origins and evolution of biological organisms, ecologies, and cultural systems on the one hand, and from computer simulation methodologies on the other. They can be combined to create surrogate artificial worlds populated by interacting simulated organisms in which complex musical experiments can be performed that would otherwise be impossible.
Evaluation of text summaries based on linear optimization of content metrics
Covers both theoretical contributions and practical applications in security system design by applying the Internet of Things (IoT) and CI. It further explains the application of IoT in the design of modern security systems and how IoT blended with computational intel- ligence can make any security system improved and realizable. Key features: Focuses on the computational intelligence techniques of security system design Covers applications and algorithms of discussed computational intelligence techniques Includes convergence-based and enterprise integrated security systems with their applications Explains emerging laws, policies, and tools affecting the landscape of cyber security Discusses application of sensors toward the design of security systems This book will be useful for graduate students and researchers in electrical, computer engineering, security system design and engineering
Ergodic Dynamics : From Basic Theory to Applications
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples throughout, the author offers readers an approachable entry-point to the dynamics of ergodic systems. Modern and classical applications complement the theory on topics ranging from financial fraud to virus dynamics, offering numerous avenues for further inquiry. Starting with several simple examples of dynamical systems, the book begins by establishing the basics of measurable dynamical systems, attractors, and the ergodic theorems. From here, chapters are modular and can be selected according to interest. Highlights include the Perron–Frobenius theorem, which is presented with proof and applications that include Google PageRank. An in-depth exploration of invariant measures includes ratio sets and type III measurable dynamical systems using the von Neumann factor classification. Topological and measure theoretic entropy are illustrated and compared in detail, with an algorithmic application of entropy used to study the papillomavirus genome. A chapter on complex dynamics introduces Julia sets and proves their ergodicity for certain maps. Cellular automata are explored as a series of case studies in one and two dimensions, including Conway’s Game of Life and latent infections of HIV. Other chapters discuss mixing properties, shift spaces, and toral automorphisms.
Engineering psychology and cognitive ergonomics ; 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
This book address the latest research and development efforts and highlight the human aspects of design and use of computing systems. It cover the entire field of Human-Computer Interaction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of En- neering Psychology and Cognitive Ergonomics, addressing the following major topics: Cognitive and Affective Issues in User Interface Design, Cognitive Workload and Human Performance, Cognitive Modeling and Measuring, Safety Critical Applications and Systems
Encyclopedia of GIS "Geographical Information Sciences"
provides up-to-date information on emerging topics such as spatial big data, smart-phone GIS, urban computing and mobile recommender systems. It also expands the first edition’s rich set of GIS-related commercial and societal applications such as geo-targeting, geo-fencing and understanding climate changes, while enabling more comprehensive coverage of classical GIS topics such as map projections, global positioning systems and spatial cognition. The entries explain the key software, data sets and processes used by geographers and computational scientists. Additionally, the reference emphasizes the role of GIS in business and mobile intelligence. By offering more diversified GIS-related topics from theory and research than most of the other available literature, the authors equip newcomers to the field with principles as well as applications.
Encyclopedia of Algorithms
Provides a comprehensive set of solutions to important algorithmic problems for students and researchers, including high-impact solutions from the most recent decade.A must-have for computer scientists, this encyclopedic reference has been edited by Ming Yang Kao, Editor-in-Chief of the top journal in the field, Algorithmica, All of the entries have been written and peer-reviewed by experts in the field. Nearly 400 entries are organized alphabetically by problem, with subentries for distinct solutions.
Enabling things to talk : Designing IoT solutions with the IoT architectural reference model
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be “cognitive IoT,” facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution.
Emerging solutions for future manufacturing Systems ; IFIP TC 5 / WG 5.5. Sixth IFIP International conference on information technology for balanced automation systems in manufacturing and services, 27-29 September 2004, Vienna, Austria
This book includes the papers selected for the BASYS’04 conference, which was held in Vienna, Austria in September 2004 and sponsored by the International Federation for Information Processing (IFIP).
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Embedded Software and Systems Vol. 3605 ; 1st International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9–10 December 2004. Embedded Software and Systems technology is of increasing importance for a wide range of industrial areas, such as aerospace, automotive, telecommunication, and manufacturing automation. Embedded technology is playing an increasingly dominant role in modern society. This is a natural outcome of amazingly fast developments in the embedded field. The ICESS 2004 conference brought together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software and systems development, and provided them with a forum to present and exchange their ideas, results, work in progress, and experience in all areas of embedded systems research and development. The ICESS 2004 conference attracted much more interest than expected.
Embedded Robotics : Mobile Robot Design and Applications with Embedded Systems
The EyeBot controller and mobile robots have evolved over more than a decade. This book gives an in-depth introduction to embedded systems and autonomous mobile robots, using the EyeBot controller (EyeCon) and the EyeBot mobile robot family as application examples. This book combines teaching and research material and can be used for courses in Embedded Systems as well as in Robotics and Automation.
