Authors:Marco Bernardo, Jane Hillston,
Publisher: Springer
Keywords: software, formal, methods, systems, programming, engineering, communication, design, performance, evaluation, international, school, computer
Number of Pages: 469
Published: 2007-06-28
List price: $79.95
ISBN-10: 3540724826
ISBN-13: 9783540724827

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and coveres several aspects of the field, including formalisms for performance modeling (Markov chains, queueing networks, stochastic Petri nets, and stochastic process algebras), equivalence checking and model checking, efficient solution techniques, and

Authors:Marco Bernardo, Alessandro Cimatti,
Publisher: Springer
Keywords: formal, software, methods, systems, programming, engineering, communication, sfm, design, hardware, verification, international, school, computer
Number of Pages: 243
Published: 2006-07-06
List price: $69.95
ISBN-10: 3540343040
ISBN-13: 9783540343042

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2006, held in Bertinoro, Italy in May 2006. SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, BDD-based and SAT-based model checking, decision

Authors:Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattar
Publisher: Springer
Keywords: formal, methods, software, communication, programming, engineering, computer, school, computational, systems, biology, international, design
Number of Pages: 525
Published: 2008-06-27
List price: $89.95
ISBN-10: 3540688927
ISBN-13: 9783540688921

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part

Authors:Marco Taisch, Klaus-Dieter Thoben, Marco Montorio,
Publisher: Taylor & Franci
Keywords: engineering, monographs, water, earth, sciences, proceedings, balkema, manufacturing, ict, systems, perspective, advanced
Number of Pages: 330
Published: 2007-03-13
List price: $109.95
ISBN-10: 0415429129
ISBN-13: 9780415429122

Manufacturing plays a vital role in European economy and society, and is expected to continue as a major generator of wealth in the foreseeable future. A competitive manufacturing industry is essential for the prosperity of Europe, especially in the face of accelerating deindustrialisation. This book provides a broad vision of the future of manufacturing, analysed from a system-management viewpoint and with a special focus on ICT-related matters. Each contribution presents a complex and multidisciplinary research domain from a specific perspective. The first part of the book gives an overview

Authors:Marco Ajmone Marsan, Giorgio Corazza, Marco Listan
Publisher: Springer
Keywords: proceedings, february, italy, lecture, notes, science, computer, milano, qos, multiservice, service, networks, second, workshop, international, quality
Number of Pages: 759
Published: 2003-04-10
List price: $109.00
ISBN-10: 3540006044
ISBN-13: 9783540006046

This book constitutes the refereed proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks, QoS-IP 2003, held in Milano, Italy in February 2003. The 53 revised full papers presented together with an invited paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on analytical models, QoS routing, measurements and experimental results, QoS below IP, end-to-end QoS in IP networks, QoS multicast, optical networks, reconfigurable protocols and networks, provision of multimedia services, QoS in multido

Authors:Marco Apollonio, Marco Festa-Bianchet, Danilo Mainar
Publisher: World Scientific Publishing Company
Keywords: culture, ethology, science, systems, mating, vertebrate
Number of Pages: 332
Published: 2000-12-15
List price: $105.00
ISBN-10: 9810242603
ISBN-13: 9789810242602

A review of the relationship of mating systems with other aspects of vertebrate biology. It seeks to present many stimulating perspectives and ideas on mating systems studies. While many of the contributors present their own research, in all cases they underline the general relevance of their work and speculate on future directions of scientific enquiry.

Authors:Marco Danelutto, Marco Vanneschi, Domenico Laforen
Publisher: Springer
Keywords: euro, par, proceedings, lecture, computer, science, september, notes, italy, processing, parallel, international, conference, pisa, august
Number of Pages: 1081
Published: 2004-10-05
List price: unknow
ISBN-10: 3540229248
ISBN-13: 9783540229247

This book constitutes the refereed proceedings of the 10th International Conference on Parallel Computing, Euro-Par 2004 , held in Pisa, Italy in August/September 2004. The 122 revised papers presented together with 3 invited papers were carefully reviewed and selected from 352 submissions. The papers are organized in topical sections on support tools and environments, performance evaluation, scheduling and load balancing, compilers and high performance, parallel and distributed databases, grid and cluster computing, applications on high performance clusters, parallel computer architecture and