You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
From Model-Driven Design to Resource Management for Distributed Embedded Systems presents 16 original contributions and 12 invited papers presented at the Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, sponsored by the International Federation for Information Processing - IFIP. Coverage includes model-driven design, testing and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
The Recovery-Stress Questionnaires (RESTQs) identifies the current recovery-stress states and provides a complete picture of the actual extent of stress and recovery. Written to support those using the RESTQ, this manual offers advice on scope and application, facets of stress and recovery, versions and scoring, interpretation of results, and reliability and validity for each of the five forms of the questionnaire. The questionnaire is based on the hypothesis that an accumulation of stress in different areas of life, with insufficient opportunity for recovery, leads to a critical psychophysiological state. The RESTQ measures the frequency of current stress symptoms along with the frequency o...
This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting examples), 5 tool presentations, and 2 invited papers were carefully reviewed and selected from 40 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
"This book presents a comprehensive and dynamic understanding of cultural tourism. It examines cultural mediators and how they help tourists appreciate foreign cultures. It also shows how tourism experiences are strategically crafted by mediators. The mediation process is complex, and the various products are mediated differently. A number of different products are investigated, including destination brand identities, ""living"" cultures and everyday life, art and history. "
Peter Godman presents the first intellectual history of Florentine humanism from the lifetime of Angelo Poliziano in the later fifteenth century to the death of Niccolo Machiavelli in 1527. Making use of unpublished and rare sources, Godman traces the development of philological and official humanism after the expulsion of the Medici in 1494 up to and beyond their restoration in 1512. He draws long overdue attention to the work of Marcello Virgilio Adriani--Poliziano's successor in his Chair at the Studio and Machiavelli's colleague at the Chancery of Florence. And he examines in depth the intellectual impact of Savonarola and the relationship between secular and religious and oral and print...
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
None
NORTHERN LIGHTS TRILOGY BOOK ONE Leaving England in a hurry, Peter Arnett - thief, grifter, vagabond - requires someplace where no one would think to look for him; and who ever heard of a bank robber hiding out in Denmark? Keeping out of trouble, one low paid honest job follows another but it's hard to lay low when the Danes will befriend even a grumpy ex-con. Following a chance encounter with an ambitious small-town cop he finds himself pulled back into The Life but who exactly is corrupting who? Sure, the girl's a looker but she might also be deadlier than anyone he's ever met, himself included. With his old life becoming tangled in the new, Peter soon realises that his best odds for survival lay in the planning and execution of a score so reckless that no one in their right mind would even dream of attempting it. He can expect a few surprises that day but the prime suspect will not be one
This book offers the first comprehensive overview of alternative approaches to architectural practice. At a time when many commentators are noting that alternative and richer approaches to architectural practice are required if the profession is to flourish, this book provides multiple examples from across the globe of how this has been achieved and how it might be achieved in the future. Particularly pertinent in the current economic climate, this book offers the reader new approaches to architectural practice in a changing world. It makes essential reading for any architect, aspiring or practicing.
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.