Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2012, held in St. Petersburg, Russia in October 2012. The 14 revised full papers and 8 revised short presentations were carefully reviewed and selected from a total of 44 submissions. The papers are organized in topical sections on applied cryptography and security protocols, access control and information protection, security policies, security event and information management, instrusion prevention, detection and response, anti-malware techniques, security modeling and cloud security."

"This book constitutes the joint refereed proceedings of the 12 International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking, NEW2AN, and the 5th Conference on Internet of Things and Smart Spaces, ruSMART 2012, held in St. Petersburg, Russia, in August 2012. The total of 42 papers was carefully reviewed and selected for inclusion in this book. The 14 papers selected from ruSMART are organized in topical sections named, defining an internet-of-things ecosystem, future services, and smart space governing through service mashups. The 28 papers from NEW2AN deal with the following topics, wireless cellular networks, ad-hoc, mesh, and delay-tolerant networks, scalability, cognition, and self-organization, traffic and internet applications, and wireless sensor networks. They also contain 4 selected papers from the NEW2AN 2012 winter session."

"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."

"The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for presentation in three volumes. The second volume includes 82 papers organized in topical sections on cardiovascular imaging: planning, intervention and simulation, image registration, neuroimage analysis, diffusion weighted imaging, image segmentation, computer-assisted interventions and robotics, and image registration, new methods and results."

"This book constitutes the refereed proceedings of the International Conference on Recent Trends in Computer Networks and Distributed Systems Security, held in Trivandrum, India, in October 2012. The 34 revised full papers and 8 poster presentations were carefully reviewed and selected from 112 submissions. The papers cover various topics in Computer Networks and Distributed Systems."

"The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for presentation in three volumes. The first volume includes 91 papers organized in topical sections on abdominal imaging, computer-assisted interventions and robotics, computer-aided diagnosis and planning, image reconstruction and enhancement, analysis of microscopic and optical images, computer-assisted interventions and robotics, image segmentation, cardiovascular imaging, and brain imaging, structure, function and disease evolution."

"The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, held in Nice, France, in October 2012. Based on rigorous peer reviews, the program committee carefully selected 252 revised papers from 781 submissions for presentation in three volumes. The third volume includes 79 papers organized in topical sections on diffusion imaging, from acquisition to tractography, image acquisition, segmentation and recognition, image registration, neuroimage analysis, analysis of microscopic and optical images, image segmentation, diffusion weighted imaging, computer-aided diagnosis and planning, and microscopic image analysis."