الصفحة 1
الصفحة 1
Information and communications security ; 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Information and Communications Security, ICICS 2007, held in Zhengzhou, China, in December 2007. The papers are organized in topical sections on authentication and key exchange, digital signatures, applications, watermarking, fast implementations, applied cryptography, cryptanalysis, formal analysis, system security, and network security.
Geometric Qp Functions
This book documents the rich structure of the holomorphic Q functions which are geometric in the sense that they transform naturally under conformal mappings. Particular emphasis is placed on recent developments based on the interaction between geometric function/measure theory and other branches of mathematical analysis, including potential theory, complex variables, harmonic analysis, functional analysis, and operator theory." "Largely self-contained, this book will be an instructional and reference work for advanced courses and research in conformal analysis, geometry, or function spaces.
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Conformal and Potential Analysis in Hele-Shaw Cells
This monograph aims at giving a presentation of recent and new ideas that arise from the problems of planar fluid dynamics and which are interesting from the point of view of geometric function theory and potential theory. In particular, this book is concerned with geometric problems for Hele-Shaw flows. Also Hele-Shaw flows on parameter spaces (e.g., the Teichmüller space) are treated and connections with string theory are revealed. Ultimately, the interaction between several branches of complex and potential analysis, and planar fluid mechanics is discussed.
Computer Aided Verification ; 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
