Kategoria BISAC: Computers >> Computer Science

On May 1, 2004, the world of theoretical computer science su?ered a stunning loss: Shimon Even passed away. Few computer scientists have had as long, s- tained, and in?uential a career as Shimon. Shimon Even was born in Tel-Aviv in 1935. He received a B.Sc. in Elect- cal Engineering from the Technion in 1959, an M.A. in Mathematics from the University of Northern Carolina in 1961, and a Ph.D. in Applied Mathematics from Harvard University in 1963. He held positions at the Technion (1964 67 and 1974 2003), Harvard University (1967 69), the Weizmann Institute (1969 74), and the Tel-Aviv...

SAC 2005 was the 12th in a series of annual workshops on Selected Areas in Cryptography. This was the 5th time the workshop was hosted by Queen's U- versity in Kingston (the previous workshops were held here in 1994, 1996, 1998 and 1999).Other SAC workshopshave been organizedat Carleton University in Ottawa (1995, 1997 and 2003), the Fields Institute in Toronto (2001), Memorial University of Newfoundland in St. John's (2002) and the University of Waterloo (2000 and 2004). The workshop provided a relaxed atmosphere in which - searchers in cryptography could present and discuss new work on...

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. The 75 revised full papers presented together with 7 plenary talks were carefully reviewed and selected from 319 submissions. All major areas in computer science, mathematics (especially logic) and the physical sciences particularly with regard to computation and computability theory are addressed.

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.

The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers selected for this special issue discuss various aspects of computational methods, algorithm and techniques in bioinformatics such as gene expression analysis, biomedical literature mining and natural language processing, protein structure prediction, biological database management and biomedical information retrieval.

This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, held in Seoul, Korea in June 2006. The 34 revised full papers presented are organized in topical sections on molecular and membrane computing models, complexity analysis, sequence and tile designs and their properties, DNA tile self-assembly models, simulator and software for DNA computing, DNA computing algorithms and new applications, novel experimental approaches, and experimental solutions.

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India, December 2006. The 73 revised full papers cover algorithms and data structures, online algorithms, approximation algorithm, computational geometry, computational complexity, optimization and biology, combinatorial optimization and quantum computing, as well as distributed computing and cryptography.

This book constitutes the refereed proceedings of the Third International Conference on Technologies for Interactive Digital Storytelling and Entertainment, TIDSE 2006, held in Darmstadt, Germany in December 2006. It contains 37 papers that cover a broad spectrum, from conceptual ideas, theories, and technological questions, to best practice examples in the different storytelling application domains, with a focus on entertainment and games.

This volume presents papers from the 2nd Scandinavian Workshop on Algorithm Theory. The contributions describe original research on algorithms and data structures in all areas, including combinatorics, computational geometry, parallel computing and graph theory. The majority of the papers focus on the design and complexity analysis of data structures, text algorithms, and sequential and parallel algorithms for graph problems and for geometric problems.

This volume contains selected papers from the symposium New Results and New Trends in Computer Science held in Graz, Austria, June 20-21, 1991. The symposium was organized to give a wide-ranging overview of new work in the field on the occasion of the 50th birthday of the editor of the volume. Topics covered include: information on neural nets, ideas on a new paradigm for informatics, hypermedia systems and application, axioms for concurrent processes, techniques for image generation and compression, the role of data visualization, object-oriented programming and graphics, algorithms for...

The main aims of the series of volumes Advances in Petri Nets are: to present to the outside scientific community a fair picture of recent advances in the area of Petzi nets, and to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area.

This volume constitutes the documentation of the advanced course on Analysis of Dynamical and Cognitive Systems, held during the Summer University of Southern Stockholm in Stockholm, Sweden in August 1993.
The volume contains eight carefully revised full versions of the invited three-to-four hour presentations as well as two abstracts. As a consequence of the interdisciplinary topic, several aspects of dynamical and cognitive systems are addressed: there are three papers on computability and undecidability, five tutorials on diverse aspects of universal cellular neural networks, and two...

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

The new OPC Unified Architecture unifies existing standards for online data exchange between automation systems. This introduction to OPC UA explains the concept of the standard and other relevant topics not directly addressed by the standard.

The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17-21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235), in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer...

The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard.

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada...

This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2007, held in Ghent, Belgium, in January 2007. The 19 revised full papers presented together with one invited keynote paper were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections.

This volume collects the accepted papers presented at the Learning and Intelligent OptimizatioN conference (LION 2007 II) held December 8 12, 2007, in Trento, Italy. The motivation for the meeting is related to the current explosion in the number and variety of heuristic algorithms for hard optimization problems, which raises - merous interesting and challenging issues. Practitioners are confronted with the b- den of selecting the most appropriate method, in many cases through an expensive algorithm configuration and parameter-tuning process, and subject to a steep learning curve. Scientists...

Large-scale attacks generated by fast spreading worms and viruses have emerged as a major threat to the Internet. These worms are capable of infecting and crippling substantial portions of the Internet as well as the enterprise networks of large public and private agencies in a very short time. This dissertation work studies the behavior of such viruses and examines the problem of their detection and containment. It develops a simulation testbed to study the propagation and threat potentials of self- propagating viruses. Using the testbed, a new approach is developed for detecting...

This book represents a part of the work in the SAPMES project between the Institute for Innovative Informatics Applications (I3A) at the University of Applied Sciences Trier and SES-Astra. In this book the application of a user-centered development process according to DIN EN ISO 13407 was used to develop a new graphical user interface for a Satellite Performance Monitoring System. To support user-centered development the dialogue principles of DIN EN ISO 9241 part 110 and the corresponding generic recommendations assisted to derive usability requirements. The recommendations for applying the...