Hasil Pencarian  ::  Simpan CSV :: Kembali

"Matrix functions are of growing interest due to their fascinating theory and the many applications in which they provide insight and succinct solutions. Functions of Matrices: Theory and Computation gives a thorough treatment of the theory of matrix functions and numerical methods for computing them, as well as an overview of applications."

"This book focuses on web service specification, search, composition, validation, resiliency, security and engineering, and discusses various service specification standards like WSDL, SAWSDL, WSMO and OWLS. The theory and associated algorithms for service specification verification are detailed using formal models like Petrinet, FSM and UML. The book also explores various approaches proposed for web service search and composition, highlighting input/output, parameter-based search, and selection of services based on both functional and non-functional parameters. In turn, it examines various types of composite web services and presents an overview of popular fault handling strategies for each of these types. Lastly, it discusses the standards used for implementing web service security on the basis of a case study, and introduces the Web Service Development Life Cycle (WSDLC), which defines co-operation between several industry partners to develop web services in a more structured way. "

"This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications. Most of these models properly reflect and formalize current computational methods, based on parallelism, distribution and cooperation covered in this book. As a result, it allows the user to develop, study, and improve these methods very effectively.This textbook also represents the first systematic treatment of modern language models for computation. It covers all essential theoretical topics concerning them. From a practical viewpoint, it describes various concepts, methods, algorithms, techniques, and software units based upon these models. Based upon them, it describes several applications in biology, linguistics, and computer science.Advanced-level students studying computer science, mathematics, linguistics and biology will find this textbook a valuable resource. Theoreticians, practitioners and researchers working in today’s theory of computation and its applications will also find this book essential as a reference."

"The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila devoted to theoretical and practical approaches to computation. The aim of the workshop was to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society. This book comprises the refereed proceedings of WCTP-2011, held in Quezon City, the Philippines, in September 2011. The 16 carefully reviewed and revised full papers presented here deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing."