Testing of Software and Communicating Systems: 20th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2008 8th International Workshop, Fates 2008, To
ISBN: 9783540685142 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of TESTCOM/FATES 2008, a joint c- ference of two communities: TESTCOM was the 20th edition of the IFIP TC6/ WG6.1 International Conference on Testing of Communicating Systems and FATESwasthe8theditionoftheInternationalWorkshoponFormalApproaches to Testing of Software. TESTCOM/FATES 2008 was held at the Campus In- vation Center in Tokyo, Japan during June 10-13, 2008. Testing is one of the most important techniques for validating and che- ing the correctness of communication and software systems. Testing, however, is also a laborious and very cost-intensive...
This volume contains the proceedings of TESTCOM/FATES 2008, a joint c- ference of two communities: TESTCOM was the 20th edition of the IFIP TC6/ WG6.1...
|
|
cena:
194,97 zł |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S
ISBN: 9783540688921 / Angielski / Miękka / 527 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer, communication, and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2008 was devoted...
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com-...
|
|
cena:
194,97 zł |
Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ISBN: 9783540797067 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for...
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical S...
|
|
cena:
194,97 zł |
Logic Synthesis for Compositional Microprogram Control Units
ISBN: 9783540692836 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties of interpreted control algorithms. In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices.... The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the pr... |
|
cena:
585,00 zł |
Primality Testing and Abelian Varieties Over Finite Fields
ISBN: 9783540553083 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From Gauss to G-del, mathematicians have sought an efficient algorithm to distinguish prime numbers from composite numbers. This book presents a random polynomial time algorithm for the problem. The methods used are from arithmetic algebraic geometry, algebraic number theory and analyticnumber theory. In particular, the theory of two dimensional Abelian varieties over finite fields is developed. The book will be of interest to both researchers and graduate students in number theory and theoretical computer science.
From Gauss to G-del, mathematicians have sought an efficient algorithm to distinguish prime numbers from composite numbers. This book presents a rando...
|
|
cena:
97,47 zł |
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
ISBN: 9783540705888 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg, AustriaandorganisedbytheResearchInstituteonSymbolicComputation. There were 57 submissions. Each submission was reviewed by at least four Programme Committee members. The committee decided to accept 30 papers. The submission and Programme Committee work was organised through the EasyChair system. I thank the Programme Committee members for their very e?cient work. My special thanks to Temur Kutsia, Aart Middeldorp, Robert Nieuwenhuis and Maribel...
ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg, Aus...
|
|
cena:
194,97 zł |
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
ISBN: 9783540278825 / Angielski / Miękka / 558 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne, UK, during July 18 22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers, tooldevelopers, vendors, and users,...
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne, UK, during July 18...
|
|
cena:
194,97 zł |
Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
ISBN: 9783540287483 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi?ed by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number ofcomponentmodels thathavebeendevelopedandstandardized.These models de?ne how individual software components interact with each other and simplify the design process of software systems by allowing developers to...
Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These adva...
|
|
cena:
194,97 zł |
Implementation and Application of Functional Languages: 19th International Workshop, Ifl 2007, Freiburg, Germany, September 27-29, 2007 Revised Select
ISBN: 9783540853725 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various...
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Lan...
|
|
cena:
272,98 zł |
Beyond Two: Theory and Applications of Multiple-Valued Logic
ISBN: 9783790815412 / Angielski / Twarda / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. M...
|
|
cena:
585,00 zł |
Principles and Practice of Constraint Programming: 14th International Conference, Cp 2008, Sydney, Australia, September 14-18, 2008, Proceedings
ISBN: 9783540859574 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14 18, 2008. The conference was held in conjunction with the International Conference on Automated Planning and Scheduling (ICAPS 2008) and the International Conference on Knowledge Representation and R- soning (KR 2008). Information about the conference can be found at the w- sitehttp: //www. unimelb. edu. au/cp2008/. Held annually, the CP conference series is the premier international conference on constraint...
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydne...
|
|
cena:
448,49 zł |
Engineering Interactive Systems 2008: Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, Septemb
ISBN: 9783540859918 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE 2008) and the 7th International Workshop on TAsk MOdels and DIAgrams (TAMODIA 2008). HCSE is a working conference that brings together researchers and practitioners - terested in strengthening the scientific foundations of user interface design and examining the relationship between software engineering and human-computer interaction and how to strengthen user-centred design as an essential part of so- ware engineering processes. As a working...
Engineering Interactive Systems (EIS) 2008 was an international event combining the 2nd working conference on Human-Centred Software Engineering (HCSE...
|
|
cena:
311,98 zł |
Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings
ISBN: 9783540876021 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and so- waresystems, namely, abstractstate machines, B, andZ. It followedonfromthe Dagstuhl seminar on Rigorous Methods for Software Construction and Ana- sis, which was organized in May 2006 by Jean-Raymond Abrial (ETH Zur ] ich, Switzerland) and Uwe Gl] asser (Simon Fraser University - Burnaby,...
The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigo...
|
|
cena:
194,97 zł |
Applications of Fuzzy Logic in Bioinformatics
ISBN: 9781848162587 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many biological systems and objects are intrinsically fuzzy as their properties and behaviors contain randomness or uncertainty. This book addresses several important bioinformatics topics using fuzzy concepts and approaches, including measurement of ontological similarity, protein structure prediction/analysis, and microarray data analysis.
Many biological systems and objects are intrinsically fuzzy as their properties and behaviors contain randomness or uncertainty. This book addresses s...
|
|
cena:
567,54 zł |
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings
ISBN: 9783540878728 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools,...
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toro...
|
|
cena:
194,97 zł |
Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, Qosa 2008, Karlsruh
ISBN: 9783540878780 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system s complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense, modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system s extra-functional properties, its software...
Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c asp...
|
|
cena:
194,97 zł |
Model-Based Testing of Reactive Systems: Advanced Lectures
ISBN: 9783540262787 / Angielski / Miękka / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent... Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive.... |
|
cena:
194,97 zł |
Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings
ISBN: 9783540851134 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10-12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri?cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic...
This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the Univer...
|
|
cena:
194,97 zł |
Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial Lectures
ISBN: 9783540856566 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Reasoning Web summer school series is a well-established event, attracting experts from academia and industry as well as PhD students interested in fo- dational and applicational aspects of the Semantic Web. This volume contains thelecturenotesofthefourthsummerschool, which took place in Venice, Italy, in September 2008. This year, the school focussed on a number of important application domains, in which semantic web techniques have proved to be p- ticularly e?ective or promising in tackling problems. The ?rst three chapters provide introductory material to: languages, formalisms, and...
The Reasoning Web summer school series is a well-established event, attracting experts from academia and industry as well as PhD students interested i...
|
|
cena:
194,97 zł |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
ISBN: 9783540140313 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L]of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: "Constructive Validity Revisited" by Dana...
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoni...
|
|
cena:
194,97 zł |