Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- programmeren (informatica) --- software engineering --- KI (kunstmatige intelligentie) --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel processing (Electronic computers) --- Electronic data processing --- Parallélisme (Informatique) --- Traitement réparti --- Congresses. --- Distributed processing --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Programming Techniques. --- Computation by Abstract Devices. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Special purpose computers --- Informatics --- Science --- Programming --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

Logic --- Biomathematics. Biometry. Biostatistics --- Molecular biology --- Computer science --- Programming --- Computer. Automation --- bio-informatica --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- biometrie --- software engineering --- computerkunde --- moleculaire biologie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. 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 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon?dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.

Mathematical logic --- Immunology. Immunopathology --- Programming --- Computer. Automation --- monoklonale antilichamen --- polyklonale antilichamen --- immunologie --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica