252 Ergebnisse - Zeige 121 von 140.

Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical plants, or medical systems their relation to safety is obvious, we often do not re?ect that others are as directly related to risks concerning harm done to persons or matter as, for example, elevator control or mobile phones. At least we are not aware of the risk in ou...

This book constitutes the proceedings of the 14th European Symposium on Research in Computer Security, ESORICS 2009, held in Saint-Malo, France, in September 2009. The 42 papers included in the book were carefully reviewed and selected from 220 papers. The topics covered are network security, information flow, language based security, access control, privacy, distributed systems security, security primitives, web security, cryptography, protoc...

This book constitutes the refereed proceedings of the 8th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2009, held in Murcia, Spain, in September 2008. The 24 revised full papers and the 10 short papers were carefully reviewed and selected from 92 submissions. The papers deal with advances in Ad-Hoc networks, mesh networks, sensor networks and vehicular networks.

This book constitutes the research papers presented at the Joint 2101 & 2102 International Conference on Biometric ID Management and Multimodal Communication. BioID_MultiComm'09 is a joint International Conference organized cooperatively by COST Actions 2101 & 2102. COST 2101 Action is focused on "Biometrics for Identity Documents and Smart Cards (BIDS)", while COST 2102 Action is entitled "Cross-Modal Analysis of Verbal and Non-verbal Communi...

This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNMR 2009 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR 2009 aims at providing a comprehensive surrvey of the state ofo the art of ASP/LPNMR Applications. LPNMR 2009 r...

e?ciently.

This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009. The 33 revised full papers, selected from 121 submissions, are presented together with 15 brief announcements of ongoing works, all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in top...

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topic...

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a ...

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of sy...

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures, constraint solving and programming, combination issues in rewriting and programming as we...

This book constitutes the refereed proceedings of the Third Language and Technology Conference: Human Language Technologies, LTC 2007, held in Poznan, Poland in October 5-7, 2007. The 40 revised papers presented were carefully reviewed and selected. The papers are organized in topical sections on speech processing, computational morphology, parsing and generation, computational semantics, digital language resources, WordNet, information retri...

A critical, illustrated Flora of Guyana, Suriname and French Guiana, designed to treat phanerogams as well as cryptogams of the area. Cyrillaceae, Theophrastaceae, Habdodendraceae, Proteaceae, Combretaceae, Dichapetalaceae, Limnocharitaceae, Alismataceae.

An endlessly surprising fairy tale from the 1930s, introducing an unforgettable heroine and a story that shows that anything is possible with a little imagination

Because farmers and ranchers own and manage about 940 million acres, or about half of the continental United States' land area, they are among the most important stewards of our soil, water, and wildlife habitat. One of the programs discussed in this book is The Environmental Quality Incentives Program (EQIP), which provides assistance to farmers and ranchers to take new actions aimed at addressing identified conservation problems, whereas the...

Keine Beschreibung.

More than 150 stitches beautifully photographed in the latest yarns.

Gargoyles, ghost stories, crumbling ruins and forgotten tombs

The fascinating story of Darwin's 1859 stay in the town